Access this book
Tax calculation will be finalised at checkout
Other ways to access
Keywords
Table of contents (23 chapters)
-
Einleitung
-
Elementare Verifikationstechniken für Hardwarebeschreibungen
-
Entwurfsmethodik
Authors and Affiliations
Bibliographic Information
Book Title: Verifikation digitaler Systeme
Book Subtitle: Eine Einführung in den Entwurf korrekter digitaler Systeme
Authors: Hans Eveking
Series Title: Leitfäden und Monographien der Informatik
DOI: https://doi.org/10.1007/978-3-322-94684-3
Publisher: Vieweg+Teubner Verlag Wiesbaden
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Fachmedien Wiesbaden 1991
Softcover ISBN: 978-3-519-02249-7Published: 01 October 1991
eBook ISBN: 978-3-322-94684-3Published: 17 April 2013
Edition Number: 1
Number of Pages: XII, 308
Number of Illustrations: 1 b/w illustrations
Topics: Engineering, general