eXamen.press

Digitale Hardware/Software-Systeme

Spezifikation und Verifikation

Authors: Haubelt, Christian, Teich, Jürgen

  • Einziges Lehrbuch, das die Verzahnung der Verifikation von Hardware und Hardware-naher Software beschreibt
  • Wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebetteter Systeme
see more benefits

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-642-05356-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
  • ISBN 978-3-642-05355-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Table of contents (8 chapters)

Buy this book

eBook $39.99
price for USA (gross)
  • ISBN 978-3-642-05356-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA
  • ISBN 978-3-642-05355-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Digitale Hardware/Software-Systeme
Book Subtitle
Spezifikation und Verifikation
Authors
Series Title
eXamen.press
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-05356-6
DOI
10.1007/978-3-642-05356-6
Softcover ISBN
978-3-642-05355-9
Series ISSN
1614-5216
Edition Number
1
Number of Pages
X, 601
Number of Illustrations and Tables
273 b/w illustrations
Topics