| Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation 2010 Edition Contributor(s): Haubelt, Christian (Author), Teich, Jürgen (Author) |
|
 |
ISBN: 3642053556 ISBN-13: 9783642053559 Publisher: Springer OUR PRICE: $37.99 Product Type: Paperback Language: German Published: June 2010 |
| Additional Information |
| BISAC Categories: - Computers | Systems Architecture - General - Computers | Networking - General - Computers | Software Development & Engineering - General |
| Dewey: 004.21 |
| Series: eXamen.Press |
| Physical Information: 1.24" H x 6.14" W x 9.21" (1.86 lbs) 601 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verst ndnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einf hrung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Der Band dient als Nachschlagewerk f r Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium. |