Bitte beachten Sie, dass Sie eBooks nur über unseren Kooperationspartner Ciando beziehen können, so dass wir Sie, nachdem Sie auf unten stehenden Ciando-Link geklickt haben, auf dessen Seite weiterleiten.
eBooks können nicht im Rahmen unseres Dozentenservice als kostenfreie Prüfexemplare bezogen werden.
Dateigrösse: KB
eBooks können nicht im Rahmen unseres Dozentenservice als kostenfreie Prüfexemplare bezogen werden.
Dateigrösse: KB
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
Aus der Reihe: eXamen.press2010. X, 601 S. mit 273 Abb. Br.
ISBN: 978-3-642-05355-9
Lehrbuch
29,95 €
Lieferbar, versandfertig in 3 Tagen
Bestellen- Das Buch
-
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.
STICHWORTE, DIE AUF WEITERE PRODUKTE VERWEISEN
Ihr Warenkorb ist leer.
Lieferung
- Bücher liefern wir versandkostenfrei.
- Lieferbare Ware ist binnen 1-2 Arbeitstagen versandfertig.
- Die Lieferung erfolgt über Post/DHL.
- Nicht lieferbare Ware wird für Sie vorgemerkt.
- Bezahlen Sie bequem per Rechnung.
2 Wochen Widerrufsrecht
Bestellen ohne Risiko:Sollte Ihnen eine Lieferung einmal nicht gefallen, senden Sie sie uns binnen 14 Tagen nach Erhalt zurück.
Datenschutz
- Ihre Bestellung erreicht uns über eine gesicherte SSL-Verbindung.
- Wir erheben, verarbeiten und nutzen Ihre Daten zur Durchführung unseres Dienstes und der Pflege der laufenden Kundenbeziehung.
- Andere Unternehmen (z.B. Post/DHL) erhalten Ihre Daten nur zur Ausführung unseres Dienstes.
Kundenservice
Sie haben Fragen? Rufen Sie uns an:Telefon +49 (0) 611.7878-628
ALLE ZEITSCHRIFTEN
- ATZautotechnology
- ATZproduktion
- ATZoffhighway
- ATZ - Automobiltechnische Zeitschrift
- Zeitschrift für Energiewirtschaft (ZfE)
- Jahresbericht DMV
- ATZelektronik
- WASSERWIRTSCHAFT (WaWi)
- MTZ - Motortechnische Zeitschrift
- JOT Journal für Oberflächentechnik
- Lightweight Design
- Wasser und Abfall (WA)
- Automotive Agenda
Springer DE
THEMENÜBERSICHT
INFORMATIONEN
