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

FM 2011: Formal Methods

Best Price (Coupon Required):
Buy FM 2011: Formal Methods 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
9783642214370
Condition
New
Product Description

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Phonons: Theory and Experiments III

Phonons: Theory and Experiments III

$54.99
Sexual Selection in Homo sapiens

Sexual Selection in Homo sapiens

$109.99
Regulation of Primary Metabolic Pathways in Plants

Regulation of Primary Metabolic Pathways in Plants

$39.99
Natural Terpenoids as Messengers

Natural Terpenoids as Messengers

$169.00
Risk Analysis of Six Potentially Hazardous Industrial Objects in the Rijnmond Area

Risk Analysis of Six Potentially Hazardous Industrial Objects in the Rijnmond Area

$329.99
Bioaugmentation for Groundwater Remediation

Bioaugmentation for Groundwater Remediation

$109.99
Music and Performance in the Later Middle Ages

Music and Performance in the Later Middle Ages

$99.99
IAENG Transactions on Engineering Technologies

IAENG Transactions on Engineering Technologies

$129.00
Implementation and Application of Automata

Implementation and Application of Automata

$39.99
Mammakarzinom

Mammakarzinom

$29.99
New Directions in Supernatural Horror Literature

New Directions in Supernatural Horror Literature

$139.99
Borders and Crime

Borders and Crime

$109.99
Storytelling in Journalismus, Organisations- und Marketingkommunikation

Storytelling in Journalismus, Organisations- und Marketingkommunikation

$54.99
Die katalytische Druckhydrierung von Kohlen Teeren und Minerallen

Die katalytische Druckhydrierung von Kohlen Teeren und Minerallen

$44.99
Gesundheitstelematik

Gesundheitstelematik

$59.99
Global Melodrama

Global Melodrama

$99.99
Environment and Society

Environment and Society

$99.99
Die Feldpartitur

Die Feldpartitur

$24.99
Metal Allergy

Metal Allergy

$159.99
Die natrliche und knstliche Alterung des gehrteten Stahles

Die natrliche und knstliche Alterung des gehrteten Stahles

$59.99
Architectural Design

Architectural Design

$54.99
Citizenship and Vulnerability

Citizenship and Vulnerability

$54.99
Managing Failed Anti-Reflux Therapy

Managing Failed Anti-Reflux Therapy

$84.99
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy

$279.99
Explorations in the History and Heritage of Machines and Mechanisms

Explorations in the History and Heritage of Machines and Mechanisms

$189.00
A Sourcebook of Titanium Alloy Superconductivity

A Sourcebook of Titanium Alloy Superconductivity

$39.99
Software Engineering and Formal Methods

Software Engineering and Formal Methods

$69.99
Ganzheitliches Produktionsmanagement

Ganzheitliches Produktionsmanagement

$89.99
Homotopical Topology

Homotopical Topology

$89.99
Proceedings of 2018 Chinese Intelligent Systems Conference

Proceedings of 2018 Chinese Intelligent Systems Conference

$169.00
Genetic Programming Theory and Practice XII

Genetic Programming Theory and Practice XII

$39.99
Geometric Methods in Physics

Geometric Methods in Physics

$54.99
Photochemistry of Macromolecules

Photochemistry of Macromolecules

$39.99
Total Mayhem: Monday - Into the Cave of Thieves

Total Mayhem: Monday - Into the Cave of Thieves

$5.24
Europa auf dem Weg nach rechts?

Europa auf dem Weg nach rechts?

$44.99
Taking Your iPhone 4 to the Max

Taking Your iPhone 4 to the Max

$19.99
Corporate Social Capital and Liability

Corporate Social Capital and Liability

$219.99
Identification of Dynamical Systems with Noise

Identification of Dynamical Systems with Noise

$84.99
Plasma Membrane Redox Systems and their role in Biological Stress and Disease

Plasma Membrane Redox Systems and their role in Biological Stress and Disease

$169.99
Thermophiles: Biodiversity, Ecology, and Evolution

Thermophiles: Biodiversity, Ecology, and Evolution

$109.99
previous
next