Springer
Digitale Hardware/Software-Systeme (English, Christian Haubelt | Jürgen Teich)
₹2,269
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
Eingebettete Systeme sind aus unserem t�glichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, �ber Hardware- und Softwaregrenzen hinausgehendes Verst�ndnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einf�hrung in die systematische Verifikation eingebetteter Systeme, sowohl bei…
ISBN: 9783642053559
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783642053559 |
| ISBN-10 | 3642053556 |
| Author | Christian Haubelt | Jürgen Teich |
