Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation - eXamen.Press (Paperback)
  • Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation - eXamen.Press (Paperback)
zoom

Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation - eXamen.Press (Paperback)

(author), (author)
£29.99
Paperback 601 Pages / Published: 24/06/2010
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642053559
Number of pages: 601
Weight: 844 g
Dimensions: 234 x 156 x 31 mm
Edition: 2010 ed.


MEDIA REVIEWS

From the reviews:

"This book is an introduction to the systematic verification of embedded systems, both in specialized procedures for hardware and software as well as the interfaces. All procedures are described in a uniform notation. ... A substantial amount of related references are also given. This is a valuable reference and resource book for developers of embedded systems." (T. C. Mohan, Zentralblatt MATH, Vol. 1206, 2011)

You may also be interested in...

Introduction to Algorithms
Added to basket
Understanding Cryptography
Added to basket
Understanding Cryptography
Added to basket
Algorithms Unlocked
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Algorithms on Trees and Graphs
Added to basket
Purely Functional Data Structures
Added to basket

Please sign in to write a review

Your review has been submitted successfully.