Keine Abbildung vorhanden
Haubelt, ChristianTeich, JürgenDigitale Hardware/Software-SystemeSpezifikation und Verifikation
Kartoniert, Springer, Berlin (2010)
37,99 €
inkl. MwSt.
versandkostenfrei
1
2
3
4
5
6
7
8
9
10
mehr
lieferbar in 1-3 Werktagen


Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich.

Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardwar ...

Weiterempfehlen:

DETAILS

Digitale Hardware/Software-Systeme

Spezifikation und Verifikation

Haubelt, Christian, Teich, Jürgen

Kartoniert, x, 601 S.

X, 601 S. 273 Abb.

Sprache: Deutsch

235 mm

ISBN-13: 978-3-642-05355-9

Titelnr.: 24822541

Gewicht: 890 g

Springer, Berlin (2010)

Herstelleradresse

Springer Heidelberg

Tiergartenstr. 17

69121 - DE Heidelberg

E-Mail: buchhandel-buch@springer.com

Bewertungen (0)
Jetzt bewerten