Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Digitale Hardware/Software-Systeme

Digitale Hardware/Software-Systeme

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642053566
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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