Verifikation digitaler Systeme
Subtitle: Eine Einführung in den Entwurf korrekter digitaler Systeme
Series: Leitfäden und Monographien der Informatik
Publisher: Vieweg+Teubner Verlag
Published: 1991
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322946843
Subjects: Hardwareverifikation
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA