Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Christian Haubelt, Jürgen Teich (auth.)
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.
Κατηγορίες:
Έτος:
2010
Έκδοση:
1
Εκδότης:
Springer-Verlag Berlin Heidelberg
Γλώσσα:
german
Σελίδες:
601
ISBN 10:
3642053564
ISBN 13:
9783642053566
Σειρές:
eXamen.press 0
Αρχείο:
PDF, 5.16 MB
IPFS:
,
german, 2010
Αυτό το βιβλίο δεν είναι διαθέσιμο για λήψη λόγω καταγγελίας του κατόχου των πνευματικών δικαιωμάτων