Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

by Christian Haubelt, Jürgen Teich

Paperback(2010)

$44.99
Choose Expedited Shipping at checkout for guaranteed delivery by Wednesday, July 24

Overview

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.

Product Details

ISBN-13: 9783642053559
Publisher: Springer Berlin Heidelberg
Publication date: 06/23/2010
Series: eXamen.press
Edition description: 2010
Pages: 601
Product dimensions: 6.10(w) x 9.00(h) x 1.40(d)

Table of Contents

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

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews