Teich / Haubelt | Digitale Hardware/Software-Systeme | Buch | 978-3-642-05355-9 | www.sack.de

Buch, Deutsch, 601 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 914 g

Reihe: eXamen.press

Teich / Haubelt

Digitale Hardware/Software-Systeme

Spezifikation und Verifikation
1. Auflage. 2010
ISBN: 978-3-642-05355-9
Verlag: Springer

Spezifikation und Verifikation

Buch, Deutsch, 601 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 914 g

Reihe: eXamen.press

ISBN: 978-3-642-05355-9
Verlag: Springer

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.

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

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Teich, Jürgen
Haubelt, Christian

Fachgebiete

Weitere Infos & Material

Einleitung.- Spezifikation digitaler Systeme.- Verifikation.- Äquivalenzprüfung.- Eigenschaftsprüfung.- Hardwareverifikation.- Softwareverifikation.- Systemverifikation.- A.1 Mengen.- A.2 Relationen und Funktionen.- A.3 Aussagenlogik.- A.4 Prädikatenlogik erster Ordnung.- A.5 Graphen.- B.1 Entscheidungsdiagramme.- B.2 Binäre Entscheidungsdiagramme.- B.3 Verallgemeinerte Binäre Entscheidungsdiagramme.- C.1 Klassifikation von Problemen.- C.2 SAT-Solver.- C.3 SMT-Solver.- C.4 CTL-Fixpunktberechnung.

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.