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

Formal Modeling and Verification of Cyber-Physical Systems

Formal Modeling and Verification of Cyber-Physical Systems

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

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.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

D. Martin Luthers Werke 4. Abteilung, Teil 3

$749.99

Current Concepts in the Management of Lymphoma and Leukemia

$84.99

Urban Landscapes and National Visions in Post-Millennial South Korean Cinema

$119.99

Kunden frs Leben

$74.99

Radical Solutions for Digital Transformation in Latin American Universities

$159.99

Todesangst und das Todesbewutsein der Gegenwart

$69.99

Maximum Entropy and Bayesian Methods Garching, Germany 1998

$129.00

Chromatin and Disease

$219.99

Contemporary American Theatre

$29.99

Tele- und computergesttzte Chirurgie

$69.99

Strategietransformation

$74.99

Donut the Destroyer

$11.24

The New Asylum Seekers: Refugee Law in the 1980s

$39.99

Taylorentwicklung, Jacobi-Matrix, , (x) und Co

$19.99

Die Edelsthle

$99.00

Topics in Theoretical and Experimental Gravitation Physics

$39.99

Arbeits- und sozialrechtliche Beurteilung der stufenweisen Wiedereingliederung in das Erwerbsleben g

$44.99

Disciplining Modernism

$39.99

Observational Cosmology

$129.00

Dislocation, Writing, and Identity in Australian and Persian Literature

$59.99

Die Benutzung der Kniglichen Bibliothek und die deutsche Nationalbibliothek

$54.99

Leitfaden fr den Waldbau

$59.99

SPD und Grne

$69.95

Telemicrosurgery

$89.00

Pseudodifferential Operators and Spectral Theory

$129.99

Sometimes I Feel.Sunny

$4.46

The Center of the Galaxy

$219.99

El Club de Cmics de Supergatito: Influencers (Cat Kid Comic Club: Influencers) (Hardcover)

$9.74

Managing Innovation Inside Universities

$119.00

konometrie

$59.99

Modiphius Entertainment - Fallout - The Roleplaying Game Accessories

$34.99

Institutional Conflicts and Complementarities

$109.99

Politische Geschichte der Gegenwart

$59.99

Comparative Embryo Culture

$89.00

Chiral Separations

$169.00

Inter-Organizational Culture

$59.99

Computer im Praktikum

$44.99

Engineering the Human

$169.99

Atlas of Craniocervical Junction and Cervical Spine Surgery

$199.99

Mdchen fragen Mtter wissen

$14.99