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

Digitale Hardware/Software-Systeme

  • E-Book (pdf)
  • 601 Seiten
(0) Erste Bewertung abgegeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten real... Weiterlesen
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
Informationen zu E-Books
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.
Information zu Vorbestellern
Bitte beachten Sie bei Vorbesteller, dass das Release-Datum nicht garantiert ist. Das E-Book kann früher oder später erscheinen. Sobald das E-Book erscheint, erhalten Sie im Verlaufe des Tages eine E-Mail mit dem Download-Link.

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:
EAN: 9783642053566
Digitaler Kopierschutz: Adobe-DRM
Format: E-Book (pdf)
Hersteller: Springer-Verlag
Genre: Informatik
Anzahl Seiten: 601
Veröffentlichung: 24.06.2010
Dateigrösse: 5.2 MB

Bewertungen

Gesamtübersicht

Meine Bewertung

Bewerten Sie diesen Artikel


Zuletzt angesehen
Verlauf löschen