Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

Description

Christian Haubelt, Jürgen Teich, quot;Digitale Hardware/Software-Systeme: Spezifikation und Verifikationquot;
Springer | 2010 | ISBN: 3642053556 | 601 pages | File type: PDF | 5,1 mb
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.
Download
http://uploading.com/files/dada33e5/3642053556Hardware.rar/



http://www.megaupload.com/?d=AVUKCK33

Digitale Hardware Software Systeme Spezifikation und Verifikation.full.rar
Digitale Hardware Software Systeme Spezifikation und Verifikation [TRUSTED HIGH SPEED DOWNLOAD]

$$ Buy "Digitale Hardware/Software-Systeme: Spezifikation und Verifikation" on Amazon $$

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Digitale Hardware/Software-Systeme: Spezifikation und Verifikation" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 703
2. Co-verification of Hardware and Software for ARM SoC Design
3. Cisco - IT Essentials: PC Hardware and Software v4.0 New
4. Cisco - IT Essentials I: PC Hardware and Software
5. IT Essentials: PC Hardware and Software Companion Guide, 3 Ed
6. IT Essentials: PC Hardware and Software Companion Guide
7. Learn Hardware Firmware and Software Design
8. Learn Hardware Firmware and Software Design (NEW)
9. Computer Architecture: Software Aspects, Coding, and Hardware
10. Parallel Computer Architecture: A Hardware/Software Approach
11. Applying Design for Six Sigma to Software and Hardware Systems
12. Hotfile A Practical Introduction to Hardware/Software Codesign
13. Rapidshare Hardware-dependent Software: Principles and Practice
14. IT Essentials PC Hardware and Software Labs and Study Guide
15. IT Essentials: PC Hardware and Software Labs and Study Guide
16. Computer Organization and Design: The Hardware/Software Interface