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 (Coupon Required):
Buy Formal Modeling and Verification of Cyber-Physical Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Modernising Work in Public Services
$109.99
Hands-on GitHub Actions
$34.99
Biochemical Engineering and Biotechnology of Medicinal Mushrooms
$299.99
Psychophysics in Action
$39.99
Manufacturing of Gene Therapeutics
$169.00
Vorausberechnung des Teillastverhaltens von Gasturbinen
$34.99
Haunted Seasons
$29.99
Technological Innovation and Economic Transformation
$119.99
Vorlufiger Bericht ber die meteorologischen Beobachtungen der Deutschen Antarktischen Expedition 1
$54.99
Principles of Regional Science
$109.99
Advances in Control Power Systems and Emerging Technologies
$229.00
Sustainable Luxury and Jewelry
$159.99
Gender Politics in US College Athletic Departments
$54.99
Electrodynamics: A Concise Introduction
$39.99
Lasers with Nuclear Pumping
$109.99
Acoustics of Solids
$84.99
Complex Automated Negotiations: Theories, Models, and Software Competitions
$109.99
Einfhrung in das Brgerliche Recht
$49.99
Innovation, Arbeit und Umwelt
$59.99
Investigation of Nanoscopic Dynamics and Potentials by Interferometric Scattering Microscopy
$119.99
Software Composition
$54.99
Produktionsplanung und -steuerung 1
$149.99
Soil-Steel Bridges
$79.99
Non-University Higher Education in Europe
$109.99
Reachability Problems
$69.99
Logic for Programming, Artificial Intelligence, and Reasoning
$109.99
Advanced Machine Learning with Evolutionary and Metaheuristic Techniques
$199.99
Formelsammlung Wirtschaftsmathematik
$39.99
Tropical Marine Environments of Brazil
$119.00
Informationsgehalt manipulierbarer Periodenergebnisse
$79.99
Time: Its Structure and Role in Physical Theories
$109.99
Publishers, Readers, and Digital Engagement
$119.99
Shale Energy Revolution
$84.99
Genetic Systems Programming
$84.99
Survival Logbook: An AFK Book (Five Nights at Freddy's) (Hardcover)
$9.74
Kollektive Erinnerungen der europischen Brger im Kontext von Transnationalisierungsprozessen
$49.99
The Golden Lion
$11.24
Databases, Information Systems, and Peer-to-Peer Computing
$39.99
E-Commerce
$79.99
Mediating Emergencies and Conflicts
$54.99
