Copied Digitale Hardware/Software-Systeme
Digitale Hardware/Software-Systeme
Eingebettete Systeme sind aus unserem tglichen 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 Verstndnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einfhrung 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 fr Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalitt bis hin zur berprfung des Zeitverhaltens. Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk fr Entwickler eingebetteter Systeme.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Applying Respondent Driven Sampling to Migrant Populations
$39.99
A Qualitative Approach to Inverse Scattering Theory
$79.99
Interactive Systems
$39.99
Identification and Other Probabilistic Models
$179.99
Characterization Techniques of Glasses and Ceramics
$169.99
Perinatal Depression among Spanish-Speaking and Latin American Women
$159.99
The Envisionment and Discovery Collaboratory (EDC)
$39.99
Integrated Filters for Short Range Wireless and Biomedical Applications
$39.99
Captured: The Animal within Culture
$54.99
Angewandter Festigkeitsnachweis nach FKM-Richtlinie
$34.99
Topics in Theoretical and Computational Nanoscience
$84.99
Pro iOS Web Design and Development
$34.99
Vision und Mission - Die Integration von Gender in den Mainstream europischer Forschung
$49.99
Praxis der Herzschrittmachertherapie
$44.99
Programming Visual Illusions for Everyone
$34.99
German-Jewish Literature in the Wake of the Holocaust
$39.99
Advances in Nuclear Physics
$39.99
Vorlufige Richtlinien fr die Bemessung von Verbundtrgern im Straenbrckenbau
$54.99
Informantenschutz
$29.99
Intelligent Building Systems
$169.00
My Books Summer & Summer Express Workbook Grade 4 Fiction 5-Book Pack
$35.95
Frauen in Kunst und Kultur
$39.99
Real and Abstract Analysis
$74.99
Experimental Physics
$39.99
Subsistence Entrepreneurship
$159.99
Japanese Biotechnology
$89.00
Imaging of Brain Tumors with Histological Correlations
$89.00
Radiation Protection at Light Water Reactors
$139.99
Womens Health Movements
$109.99
Microstructure and Properties of Ductile Iron and Compacted Graphite Iron Castings
$54.99
Recent Advances in Sustainable Waste Management Practices
$279.99
Making Hypermedia Work
$129.00
Food Safety and Quality-Based Shelf Life of Perishable Foods
$179.99
Energy Price Risk
$219.99
Frontiers Law, Theory and Cases
$139.99
Formal Models in the Study of Language
$129.99
Extinction and Quasi-Stationarity in the Stochastic Logistic SIS Model
$54.99
The Science of Life
$3.26
International Organizations and Internal Conditionality
$109.99
Granulocytopoese unter physiologischen und pathologischen Bedingungen
$69.99
