Haubelt / Teich | Digitale Hardware/Software-Systeme | E-Book | www.sack.de
E-Book

E-Book, Deutsch, 601 Seiten, eBook

Reihe: eXamen.press

Haubelt / Teich Digitale Hardware/Software-Systeme

Spezifikation und Verifikation
2010
ISBN: 978-3-642-05356-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Spezifikation und Verifikation

E-Book, Deutsch, 601 Seiten, eBook

Reihe: eXamen.press

ISBN: 978-3-642-05356-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Haubelt / Teich Digitale Hardware/Software-Systeme jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Haubelt, Christian
Teich, Jürgen

Weitere Infos & Material

Spezifikation digitaler Systeme.- Verifikation.- Äquivalenzprüfung.- Eigenschaftsprüfung.- Hardware-Verifikation.- Software-Verifikation.- Systemverifikation.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.