Skip to content

Digitale Hardware / Software-systeme: Spezifikation Und Verifikation

Best in textbook rentals since 2012!

ISBN-10: 3642053556

ISBN-13: 9783642053559

Edition: 2010

Authors: Christian Haubelt

List price: $49.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Rent eBooks
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verstandnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einfuhrung 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 fur Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium.
Customers also bought

Book details

List price: $49.99
Copyright year: 2010
Publisher: Springer-Verlag New York Inc
Binding: Paperback
Pages: 611
Language: German