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

The Search for Deliberative Democracy in China

$54.99

Building Resilient Regions

$119.99

Autoethnography and Feminist Theory at the Water's Edge

$79.99

Developing Socio-Emotional Intelligence in Higher Education Scholars

$89.00

Regime, Religion and the Consolidation of Zanu-PFism in Zimbabwe

$109.00

Bestandsaufnahme des quarzitischen Sandsteins im Oberkarbon stlich von Aachen und des linksrheinisc

$49.99

Shakespeares Sonnets

$39.99

Drehbcher des Alter(n)s

$49.99

The Mesentery and Inflammation

$159.99

The Girl in the Well is Me

$4.49

Data Mining and Machine Learning in Sports

$39.99

Best Value: Diversity Grades 3-5

$775.00

Neue graphische Tafeln zur Beurteilung statistischer Zahlen

$44.99

Radioastronomie

$17.99

Adoption in the Digital Age

$54.99

Eigenfinanzierung und Aktienbewertung

$59.99

Resource Extraction and Contentious States

$39.99

Biotechnology: Potentials and Limitations

$84.99

Secure IT Systems

$79.99

Interdisziplinre Europastudien

$59.99

National Identity and Social Cohesion in a Time of Geopolitical and Economic Tension: Australia Eu

$159.99

International Skeletal Society Membership Book

$84.99

Working with Older Persons

$39.99

Black Power beyond Borders

$119.99

Anomaly Detection in Random Heterogeneous Media

$54.99

Asthma, Health and Society

$89.00

Many-Particle Spectroscopy of Atoms, Molecules, Clusters, and Surfaces

$169.99

Stochastic Models, Statistics and Their Applications

$169.99

Global Challenges in Maritime Security

$139.99

Die Auskunfts- und Frsorgestelle fr Lungenkranke

$59.99

Endometrial Cytology with Tissue Correlations

$39.99

Quality of Service in Heterogeneous Networks

$109.99

New Frontiers in Sustainable Aviation

$199.99

HPLC of Polymers

$54.99

Qualittspolitiken und Konventionen

$74.99

On the Higher-Order Sheffer Orthogonal Polynomial Sequences

$54.99

Solid State Imaging

$54.99

Spiritual Well-Being of Chinese Older Adults

$39.99

Sozialversicherungsrecht

$69.99

Urban Agriculture in Public Space

$59.99