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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
How to Catch.: How To Catch a Monster
$3.71
Query Answer Authentication
$29.99
Executive Power in Theory and Practice
$39.99
1-Digit Division Grade 5 Differentiation Pack
$5.99
Diagnostic Liquid-Based Cytology
$119.99
Introduction to Differentiable Manifolds
$49.99
Der Innovationscode
$39.99
The Theory and Measurement of International Economic Integration
$54.99
Statistical Mechanics of Classical and Disordered Systems
$109.99
Grundkurs Buchfhrung
$29.99
Proceedings of the 8th International Conference on Civil Engineering
$249.99
The Soils of Slovenia
$159.99
Human Security in China
$129.99
One-Dimensional Linear Singular Integral Equations
$84.99
Energie- und Umweltpolitik in der VR China
$39.99
Die Netzwerkbibel
$14.99
Cuentos Fonticos (Spanish Phonics Readers): La zorra y las cerezas
$3.71
Militarized Youth
$29.99
Learn Swift 2 on the Mac
$39.99
Advances in Information Communication Technology and Computing
$299.99
Rare Diseases
$84.99
Mathematik der privaten Krankenversicherung
$44.99
Die Massnahmen ur Kultivierung des Bodens
$84.99
Terrestrial-Satellite Communication Networks
$159.99
Theoretical Perspectives on Autobiographical Memory
$449.99
A Genetic Approach to Plant Biochemistry
$39.99
Measuring Multidimensional Poverty and Deprivation
$139.99
Gruppentherapie mit Kindern
$54.99
Set-Valued Mappings and Enlargements of Monotone Operators
$39.99
Innovation in Construction
$179.99
Stable Isotopes
$39.99
Erfolgsfaktoren im Innovationsmanagement
$64.99
Workgroups eAssessment: Planning, Implementing and Analysing Frameworks
$169.99
Climate Change and World Food Security
$129.00
Tile-Based Geospatial Information Systems
$84.99
The Economic Reason
$69.99
Linear and Nonlinear Circuits: Basic & Advanced Concepts
$99.99
Computational Calculus
$34.99
Startup Valuation
$179.99
Spatial Data Configuration in Statistical Analysis of Regional Economic and Related Problems
$129.00
