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

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Elastic Models of Crystal Defects

Elastic Models of Crystal Defects

$54.99
On-line Condition Monitoring in Industrial Lubrication and Tribology

On-line Condition Monitoring in Industrial Lubrication and Tribology

$159.99
The Palgrave Review of British Politics 2005

The Palgrave Review of British Politics 2005

$84.99
Fibre Types in Skeletal Muscles

Fibre Types in Skeletal Muscles

$109.99
Handbuch der Gesamten Augenheilkunde

Handbuch der Gesamten Augenheilkunde

$59.99
Toward a Cosmopolitan Ethics of Mobility

Toward a Cosmopolitan Ethics of Mobility

$54.99
Cerebral Signal Transduction

Cerebral Signal Transduction

$169.99
Chefsache Gesundheit II

Chefsache Gesundheit II

$19.99
Brseneinfhrungen von Tochtergesellschaften

Brseneinfhrungen von Tochtergesellschaften

$59.99
Global Arctic

Global Arctic

$159.99
Einfhrung in das Kultur- und Kunstmanagement

Einfhrung in das Kultur- und Kunstmanagement

$39.99
FEM bei elektrischen Antrieben 1

FEM bei elektrischen Antrieben 1

$49.99
Evidence-Based School Development in Changing Demographic Contexts

Evidence-Based School Development in Changing Demographic Contexts

$49.99
Die Grundlagen der Verkehrswirtschaft

Die Grundlagen der Verkehrswirtschaft

$84.99
The Dizziness of Freedom in Kierkegaard and Sartre

The Dizziness of Freedom in Kierkegaard and Sartre

$44.99
Enthalpie-Entropie-Diagramme fr Wasserdampf und Wasser

Enthalpie-Entropie-Diagramme fr Wasserdampf und Wasser

$54.99
Masonry Construction

Masonry Construction

$109.99
Z = 30-47. Excited Nuclear States

Z = 30-47. Excited Nuclear States

$549.99
New Trends in Fluid Mechanics Research

New Trends in Fluid Mechanics Research

$219.00
Realism and the Liberal Tradition

Realism and the Liberal Tradition

$54.99
Advances in Ergonomic Design  of Systems, Products and Processes

Advances in Ergonomic Design of Systems, Products and Processes

$129.00
Unberechenbares Klima

Unberechenbares Klima

$29.99
Architecting Dependable Systems V

Architecting Dependable Systems V

$39.99
Das etwas andere Rhetorik-Training oder Frsche knnen nicht fliegen

Das etwas andere Rhetorik-Training oder Frsche knnen nicht fliegen

$49.99
Die Vernderung der keramisch-technologischen Eigenschaften und des Mineralaufbaues verschiedener To

Die Vernderung der keramisch-technologischen Eigenschaften und des Mineralaufbaues verschiedener To

$59.99
Asymmetric Monetary Transmission in Europe

Asymmetric Monetary Transmission in Europe

$84.99
Handbook of Platelet Physiology and Pharmacology

Handbook of Platelet Physiology and Pharmacology

$169.00
Genotype Phenotype Coupling

Genotype Phenotype Coupling

$199.99
A-FFIP - Autismusspezifische Therapie im Vorschulalter

A-FFIP - Autismusspezifische Therapie im Vorschulalter

$44.99
Boundary Value Problems with Global Projection Conditions

Boundary Value Problems with Global Projection Conditions

$109.99
Sustainable Bioenergy Production - An Integrated Approach

Sustainable Bioenergy Production - An Integrated Approach

$169.99
The Roots of Things

The Roots of Things

$109.99
Quality Costing

Quality Costing

$39.99
Die Chemie und Technologie der Natrlichen und Knstlichen Asphalte

Die Chemie und Technologie der Natrlichen und Knstlichen Asphalte

$59.99
Der Schneefall in Hessen in den Jahren 19011930

Der Schneefall in Hessen in den Jahren 19011930

$54.99
Das konomische Laboratop

Das konomische Laboratop

$49.99
Handbook of Religion and Society

Handbook of Religion and Society

$84.99
Computer Vision - ECCV 2000

Computer Vision - ECCV 2000

$84.99
Management im Gesundheitswesen

Management im Gesundheitswesen

$34.99
Captain Underpants and the Preposterous Plight of the Purple Potty People: Color Edition (Captain Underpants #8) by Dav Pilkey

Captain Underpants and the Preposterous Plight of the Purple Potty People: Color Edition (Captain Underpants #8) by Dav Pilkey

$12.99
previous
next