Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme (Leitfäden und Monographien der Informatik)

von Hans Eveking Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-519-02249-7 ISBN-10: 3-519-02249-4 Vieweg+Teubner Verlag · 1991