Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Digitale Hardware/Software-Systeme
Best Price:
Buy Digitale Hardware/Software-Systeme for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
Product Details
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.
Reviews
Questions & Answers
Archaeologies of Remembrance
$219.99
The Piezojunction Effect in Silicon Integrated Circuits and Sensors
$84.99
Community Colleges and First-Generation Students
$109.99
Proceedings of GeoShanghai 2018 International Conference: Geoenvironment and Geohazard
$169.99
Strategie? Genie? Oder Zufall?
$14.99
The Elisa: Enzyme-Linked Immunosorbent Assay in Veterinary Research and Diagnosis
$219.99
Technical and Vocational Teacher Education and Training in International and Development Co-Operatio
$139.00
Essays on Research Methodology
$109.99
Patient-specific Hemodynamic Computations: Application to Personalized Diagnosis of Cardiovascular P
$129.00
Reading Gladstone
$109.99
Rorty and Kierkegaard on Irony and Moral Commitment
$54.99
Lehrbuch der Gesamten Chemie
$34.99
Mobile Communications Safety
$129.00
Biology of Depressive Disorders. Part B
$109.99
Wrterbuch zur Mikropolitik
$64.99
Individualism, Decadence and Globalization
$54.99
Programming Methodology
$39.99
Zeitabhngiges mechanisches Werkstoffverhalten
$69.99
Europisierung der Bildung
$49.99
Rechtsextremismus und Geschlecht
$39.99
Does Digital Transformation of Government Lead to Enhanced Citizens Trust and Confidence in Governm
$39.99
Chemical-Mechanical Planarization of Semiconductor Materials
$219.99
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 2
$219.00
Materials Ageing in Light-Water Reactors
$329.99
Die Pathologen der Rheinpfalz
$69.99
Perspektiven der Biotechnologie-Kommunikation
$29.95
Theoretische Festkrperphysik Band 2
$64.99
Interorganisationssysteme in der Logistik
$49.99
Atypische Beschftigung und ihre sozialen Konsequenzen
$59.99
Religion und Geschlechterverhltnis
$64.99
The Proceedings of the 18th Annual Conference of China Electrotechnical Society
$299.00
Supreme Courts in Transition in China and the West
$119.00
Synergetics From Microscopic to Macroscopic Order
$54.99
Genetic Methods and Tools for Managing Crop Pests
$129.00
Kritische Theorie und Kapitalismus
$64.99
Diskursanalyse fr die Kommunikationswissenschaft
$49.99
Magnetic Electron Lenses
$39.99
Blutgefss- und Lymphgefssapparat Innersekretorische Drsen
$59.99
The Road to Independence
$39.99
Computer Systems
$39.99
