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
9783642243103
Condition
New
Product Description

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Neurochemistry in Clinical Practice

Neurochemistry in Clinical Practice

$109.99
Education for Sustainable Development in Primary and Secondary Schools

Education for Sustainable Development in Primary and Secondary Schools

$109.99
More Than One Mystery

More Than One Mystery

$44.99
Chemotaxonomie der Pflanzen

Chemotaxonomie der Pflanzen

$309.00
One Day in the Eucalyptus, Eucalyptus Tree

One Day in the Eucalyptus, Eucalyptus Tree

$4.46
Efficient Learning Machines

Efficient Learning Machines

$39.99
Scholastic Reader! Level 1: Buzz Said the Bee

Scholastic Reader! Level 1: Buzz Said the Bee

$2.99
Prostaglandins and Immunity

Prostaglandins and Immunity

$169.99
Handrehabilitation

Handrehabilitation

$89.99
Frauenwelten in der Antike

Frauenwelten in der Antike

$29.99
Steuerung im Bildungswesen

Steuerung im Bildungswesen

$37.99
Molecular Genetics of Inflammatory Bowel Disease

Molecular Genetics of Inflammatory Bowel Disease

$189.00
Object-Oriented Discrete-Event Simulation with Java

Object-Oriented Discrete-Event Simulation with Java

$169.99
Elizabeth I

Elizabeth I

$54.99
Molecular Identification, Systematics, and Population Structure of Prokaryotes

Molecular Identification, Systematics, and Population Structure of Prokaryotes

$129.00
The Business of Sustainability

The Business of Sustainability

$84.99
The Physics and Chemistry of Liquid Crystal Devices

The Physics and Chemistry of Liquid Crystal Devices

$109.99
What Does God Think About Brexit?

What Does God Think About Brexit?

$54.99
Essentials of Autopsy Practice

Essentials of Autopsy Practice

$169.99
Proceedings of the 5th International Conference on Numerical Modelling in Engineering

Proceedings of the 5th International Conference on Numerical Modelling in Engineering

$189.00
An Invitation to Coarse Groups

An Invitation to Coarse Groups

$64.99
Controlling, Kostenrechnung und Kostenmanagement

Controlling, Kostenrechnung und Kostenmanagement

$54.99
Nachverhandlung von Outsourcing-Vertrgen

Nachverhandlung von Outsourcing-Vertrgen

$69.99
Patellofemoral Pain, Instability, and Arthritis

Patellofemoral Pain, Instability, and Arthritis

$129.00
The Clinical Encounter

The Clinical Encounter

$109.99
Applied Mathematics in Aerospace Science and Engineering

Applied Mathematics in Aerospace Science and Engineering

$219.99
Composing A Care of the Self

Composing A Care of the Self

$49.99
Elementarstrukturen unterrichtlicher Interaktion

Elementarstrukturen unterrichtlicher Interaktion

$39.99
Epstein-Barr Virus and Associated Diseases

Epstein-Barr Virus and Associated Diseases

$39.99
Poverty and Exclusion in the Western Balkans

Poverty and Exclusion in the Western Balkans

$169.99
New Developments in Singularity Theory

New Developments in Singularity Theory

$109.99
Hylomorphism into Pieces

Hylomorphism into Pieces

$109.00
Enhancing Police Service Delivery

Enhancing Police Service Delivery

$109.99
Experimental Hematology Today1985

Experimental Hematology Today1985

$74.99
Management of Soft Tissue Sarcoma

Management of Soft Tissue Sarcoma

$199.99
Die Reaktivierung von inneren Markenbildern am Point-of-Sale

Die Reaktivierung von inneren Markenbildern am Point-of-Sale

$64.99
Thematisches Verzeichnis der musikalischen Werke Ignaz Franz von Beeckes (17331803)

Thematisches Verzeichnis der musikalischen Werke Ignaz Franz von Beeckes (17331803)

$49.99
Plant-Nematode Interactions

Plant-Nematode Interactions

$219.99
Perspectives on Enclosure Methods

Perspectives on Enclosure Methods

$54.99
Low Fertility in Advanced Asian Economies

Low Fertility in Advanced Asian Economies

$54.99
previous
next