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
Formal Modeling and Verification of Cyber-Physical Systems
Best Price:
Buy Formal Modeling and Verification of Cyber-Physical Systems 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
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.
Reviews
Questions & Answers
Social Policy and the Commonwealth
$54.99
Contemporary Logistics in China
$39.99
Principles of Statistical Radiophysics 2
$89.99
Data Assimilation: Mathematical Concepts and Instructive Examples
$69.99
Die Integrationsfunktion der Massenmedien
$74.99
Postmodern Portfolio Theory
$139.99
Programming Languages and Systems in Computational Economics and Finance
$129.00
Proceedings of the 21st International Meshing Roundtable
$219.99
Connecting Arts and Place
$79.99
Ion Exchange Technology II
$129.00
Analytical Solutions for Two Ferromagnetic Nanoparticles Immersed in a Magnetic Field
$54.99
Neuroenhancement: how mental training and meditation can promote epistemic virtue
$54.99
Financial Lexicon
$279.99
Surviving Forced Disappearance in Argentina and Uruguay
$54.99
Teaching Shakespeare Beyond the Centre
$54.99
DTP-Praxis mit PageMaker 5
$69.99
Silicate Melts
$39.99
Genetic and Molecular Basis of Plant Pathogenesis
$169.99
Advances in Software Engineering
$39.99
After the Empires
$54.99
Grundlagen elektrischer Maschinen und Antriebe
$59.99
Data and Energy Integrated Communication Networks
$54.99
Referenzmodellgesttztes Geschftsprozemanagement
$44.99
A Sociology of Culture, Taste and Value
$54.99
bungen zur Kosten-, Erls- und Ergebnisrechnung
$34.99
Operations Research and Management in Fishing
$169.00
Cardiac Magnetic Resonance Atlas
$84.99
Statics of Historic Masonry Constructions
$189.00
Salzburg, 4. bis 6. September 1947
$4.99
Optimale Finanzpolitik und zeitliche Inkonsistenz
$59.99
Formal Methods in Computer-Aided Design
$39.99
Advances in Web-Based Learning - ICWL 2005
$54.99
Making Friends: Third Time's a Charm (Hardcover)
$18.74
Violence Against Older Women, Volume II
$69.99
The Voyage of the Dawn Treader
$6.71
A Basic Guide to Uniqueness Problems for Evolutionary Differential Equations
$59.99
Quo Vadis, Sovereignty?
$99.00
The Nervous System and Electric Currents
$39.99
Deutsche Wirtschafts- und Sozialgeschichte
$59.99
Introduction to Thin Film Transistors
$89.00
