Leitfäden und Monographien der Informatik

Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

Authors: Eveking, Hans

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-322-94684-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.95
price for USA in USD

Table of contents (23 chapters)

Table of contents (23 chapters)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-322-94684-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.95
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verifikation digitaler Systeme
Book Subtitle
Eine Einführung in den Entwurf korrekter digitaler Systeme
Authors
Series Title
Leitfäden und Monographien der Informatik
Copyright
1991
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Springer Fachmedien Wiesbaden
eBook ISBN
978-3-322-94684-3
DOI
10.1007/978-3-322-94684-3
Softcover ISBN
978-3-519-02249-7
Edition Number
1
Number of Pages
XII, 308
Number of Illustrations
1 b/w illustrations
Topics