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
Origin of Granite Batholiths Geochemical Evidence
$39.99
Social Costs of Energy
$39.99
High-Z Materials for X-ray Detection
$99.99
Flood Monitoring through Remote Sensing
$169.99
The British World and an Australian National Identity
$54.99
Orthopedic Principles - A Resident's Guide
$54.99
Urban Wetlands in Latin America
$249.99
Quantization and Infinite-Dimensional Systems
$74.99
Knowledge-Based and Intelligent Information and Engineering Systems, Part III
$39.99
Amartya Sen's Capability Approach
$119.99
Kosten des Datenschutzes in der Unternehmung
$59.99
Wrmemanagement in der Elektronik
$99.99
Barnes & Noble The Redemption of Daya Keane by Gia Gordon
$19.99
Subsurface-Water Hydrology
$169.99
Advanced Thermal Design of Electronic Equipment
$169.00
Fighting Europes Unemployment in the 1990s
$84.99
Elementary Analysis
$39.99
Differential Geometry
$69.99
Advances in Artificial Intelligence - SBIA 2008
$39.99
Plant Microbiome for Plant Productivity and Sustainable Agriculture
$249.99
Christmas With Peppa
$5.99
Structure and Properties of Polymers
$84.99
Trgerfrequenz-Nachrichtenbertragung ber Hochspannungsleitungen
$74.99
VLSI Placement and Global Routing Using Simulated Annealing
$169.99
Protein Glycosylation
$219.99
Performance in the Blockades of Neoliberalism
$54.99
Perceptuo-motor Difficulties
$39.99
Climate Change, Energy, Sustainability and Pavements
$149.00
My First Board Book Series: Concepts: 123
$2.99
Die Grundlagen der Angewandten Thermodynamik
$39.99
Random Fluctuations and Pattern Growth: Experiments and Models
$109.99
The Physical Processes of Digestion
$109.99
Electrohydrodynamic Patterning of Functional Materials
$84.99
Sustainable Energy and Economics in an Aging Population
$139.99
Integrierte Notfallzentren (INZ) als neue Struktur der Notfallversorgung
$17.99
Catching Up, Spillovers and Innovation Networks in a Schumpeterian Perspective
$109.99
Zur Frage der Lagerung von Stahlbetonsttzen bei aufgezwungenen Verformungen
$54.99
Citizen Cash - The Political Life and Times of Johnny Cash by Michael Stewart Foley
$32.00
Die Chirurgie des praktischen Arztes
$59.99
New Sporting Femininities
$169.99
