Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme

Gespeichert in:
1. Verfasser:
Eveking, Hans
Format:
Elektronisch E-Book
Sprache:
Deutsch
Veröffentlicht:
Wiesbaden Vieweg+Teubner Verlag Imprint: Vieweg+Teubner Verlag 1991
Ausgabe:
1st ed. 1991
Umfang:
1 Online-Ressource (XII, 308 S. 1 Abb)
text file PDF
Schriftenreihe:
Leitfäden und Monographien der Informatik
ISBN:
9783322946843
DOI:
10.1007/978-3-322-94684-3
Schlagworte:
Engineering
Bezugswerke:
Links: