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

$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

Kohlenstaubfeuerungen

$84.99

Empirical Evaluation of Renewable Energy Projects for Sustainable Development

$249.99

Strmungskupplungen und Strmungswandler

$54.99

Gender Equality Policy in the European Union

$39.99

Recently Acceded Members of the World Trade Organization

$109.99

Green in Software Engineering

$89.00

Rechnerarchitektur

$59.99

VBA fr Office-Automatisierung und Digitalisierung

$29.99

Loves Rite

$109.99

Literary and Cultural Production, World-Ecology, and the Global Food System

$159.99

Politik und Rhetorik

$29.99

Exploring the Cosmic Frontier

$84.99

Zivilrechtliche Mietpreiskontrolle

$69.99

Bold Ventures

$54.99

Gelbsucht

$59.99

Embracing Well-Being in Diverse African Contexts: Research Perspectives

$119.99

Migrations and Dispersal of Marine Organisms

$219.99

Grundlagen zur Entwicklung reinraumtauglicher Handhabungssysteme

$64.99

Poor Puppy

$5.21

Computational Nuclear Physics 2

$129.99

Nuclear Magnetic Resonance in Solids

$39.99

Environmental Bioassay Techniques and their Application

$329.99

Erfolgsfaktoren von Markenerweiterungen

$69.99

Economic Writings

$189.00

Information Modeling for Interoperable Dimensional Metrology

$169.99

Infektionskrankheiten

$24.99

Robotic Process Automation (RPA) in der Logistik

$19.99

Synergetics of Measurement, Prediction and Control

$39.99

The Philosophy of John Dewey

$39.99

Liebeskmpfe

$59.99

Flexibilisierung von Arbeit und Personaleinsatz

$17.99

Connected Business

$24.99

Spatial and Material Forces in Nonlinear Continuum Mechanics

$149.00

Mechanics of Soft Materials

$69.99

Klassik im Vergleich

$99.99

Start-up-Kooperationen

$17.99

Arise Ye Starvelings

$109.99

Flash MX Video

$29.99

Healing Traditions of the Northwestern Himalayas

$54.99

Advances in Biotechnology

$169.99