Digitale Hardware/Software-Systeme
| Autor: | Christian Haubelt |
|---|---|
| EAN: | 9783642053566 |
| eBook Format: | |
| Sprache: | Deutsch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 24.06.2010 |
| Untertitel: | Spezifikation und Verifikation |
| Kategorie: | |
| Schlagworte: | A Complexity Computer Systems Organization and Communication Networks Control Structures and Microprogramming Hardware-Software-Verifikation Software Engineering Spezifikation von Hardware/Software-Systemen System-Verifikation |
9,99 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel
Weitere Produkte vom selben Autor