Digitale Hardware/Software-Systeme - Spezifikation und … – neu kaufen
Dieser Artikel wurde bereits 4 mal aufgerufen.
Autor/in:
ISBN:
9783642053559
(ISBN-10: 3642053556)Verlag:
Sprache:
Deutsch
Verlagstext:
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 auc…
Verlagstext: 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 auc…
Liste der Anbieter
von BuchWeltWeit Inh. Ludwig Meier e.K.
1525 Bewertungen , 99,5% positiv
gewerblicher Anbieter, Neuware