Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Modeling and Analysis of Timed Systems

Best Price (Coupon Required):
Buy Formal Modeling and Analysis of Timed 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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

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

Product Details

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

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Magnetic Resonance Imaging in Ischemic Stroke

Magnetic Resonance Imaging in Ischemic Stroke

$169.00
Evolution Equations: Applications to Physics, Industry, Life Sciences and Economics

Evolution Equations: Applications to Physics, Industry, Life Sciences and Economics

$109.99
Leistungsabhngige Entgeltformen bei kooperativen Arbeitsstrukturen

Leistungsabhngige Entgeltformen bei kooperativen Arbeitsstrukturen

$69.99
Essential surgical technique

Essential surgical technique

$84.99
Non-Profit-Maximizing Behavior in Supply Chain Management

Non-Profit-Maximizing Behavior in Supply Chain Management

$44.99
International Symposium for Intelligent Transportation and Smart City (ITASC) 2017 Proceedings

International Symposium for Intelligent Transportation and Smart City (ITASC) 2017 Proceedings

$129.00
Metabolic Reactions in the Nervous System

Metabolic Reactions in the Nervous System

$109.99
Models & Methods for Project Selection

Models & Methods for Project Selection

$109.99
Introducing Disaster Recovery with Microsoft Azure

Introducing Disaster Recovery with Microsoft Azure

$49.99
Der Wiener Narrenturm

Der Wiener Narrenturm

$79.99
Neural Networks

Neural Networks

$129.00
Proton Pump Inhibitors

Proton Pump Inhibitors

$199.99
Double-Gyroid-Structured Functional Materials

Double-Gyroid-Structured Functional Materials

$169.99
Immunchemie

Immunchemie

$59.99
Polyneuropathies Associated with Plasma Cell Dyscrasias

Polyneuropathies Associated with Plasma Cell Dyscrasias

$84.99
Kommunikation von Unternehmenswerten

Kommunikation von Unternehmenswerten

$74.99
Dialogorientiertes Umweltmanagement und Umweltqualifizierung

Dialogorientiertes Umweltmanagement und Umweltqualifizierung

$139.99
Glauben und Wissen

Glauben und Wissen

$59.99
Angina Pectoris with Normal Coronary Arteries: Syndrome X

Angina Pectoris with Normal Coronary Arteries: Syndrome X

$219.99
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

$44.99
Gender, Globalization, and Health in a Latin American Context

Gender, Globalization, and Health in a Latin American Context

$39.99
Mathematics, Logic, and their Philosophies

Mathematics, Logic, and their Philosophies

$129.99
New Classroom Collection Grade 1

New Classroom Collection Grade 1

$459.00
Coping with Uncertainty

Coping with Uncertainty

$109.99
Psychische Strungen bei Krankenhauspatienten

Psychische Strungen bei Krankenhauspatienten

$59.99
ber die postlarvale Entwicklung von Flhen (Insecta, Siphonaptera) unter besonderer Bercksichtigun

ber die postlarvale Entwicklung von Flhen (Insecta, Siphonaptera) unter besonderer Bercksichtigun

$44.99
Plant-Fungal Pathogen Interaction

Plant-Fungal Pathogen Interaction

$54.99
Recent Advances in Computational Optimization

Recent Advances in Computational Optimization

$84.99
Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

$39.99
Regression Analysis in Medical Research

Regression Analysis in Medical Research

$74.99
Variable Takt Principle

Variable Takt Principle

$79.99
Molecular Constants Mostly from Infrared Spectroscopy

Molecular Constants Mostly from Infrared Spectroscopy

$549.99
Berichte zu Pflanzenschutzmitteln 2008

Berichte zu Pflanzenschutzmitteln 2008

$29.95
Theory, Numerics and Applications of Hyperbolic Problems II

Theory, Numerics and Applications of Hyperbolic Problems II

$189.00
Consumers Spatial Choice Behavior

Consumers Spatial Choice Behavior

$39.99
Vernetzte Wirtschaft und konomische Entwicklung

Vernetzte Wirtschaft und konomische Entwicklung

$59.99
e-Logistik

e-Logistik

$49.99
Royalism, War and Popular Politics in the Age of Revolutions, 1780s-1870s

Royalism, War and Popular Politics in the Age of Revolutions, 1780s-1870s

$99.00
Psychiatrische Pharmakotherapie

Psychiatrische Pharmakotherapie

$54.99
Nanostructured Coatings

Nanostructured Coatings

$169.99
previous
next