Willkommen, schön sind Sie da!
Logo Ex Libris

Digitale Hardware/Software-Systeme
Christian Haubelt

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten real... Weiterlesen
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
PDF, 601 Seiten  Weitere Informationen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 10.90
Download steht sofort bereit

Beschreibung

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.

Produktinformationen

Titel: Digitale Hardware/Software-Systeme
Untertitel: Spezifikation und Verifikation
Autor: Christian Haubelt
EAN: 9783642053566
Format: PDF
Hersteller: Springer-Verlag
Genre: Informatik
Anzahl Seiten: 601
Veröffentlichung: 24.06.2010
Dateigrösse: 5.2 MB