Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Duits
87 b
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (harde band)
35.95
€
/
Gebonden (harde band)
154.55
€
/
Gebonden (harde band)
85.78
€
/
Gebonden (paperback)
103.10
€
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 Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens. §Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.
Informatie over het boek
Duits
Categorieën
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
56.20
€
/
Gebonden (paperback)
16.20
€
/
Gebonden (harde band)
103.10
€
/
Gebonden (paperback)
22.58
€
/
Gebonden (paperback)
8.19
€
/
Gebonden (paperback)
12.75
€
