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

FM 2011: Formal Methods

FM 2011: Formal Methods

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

Der Zahlungsverkehr in Deutschland

$59.99

From Local Invasion to Metastatic Cancer

$169.00

Rennwagentechnik - Praxislehrgang Fahrdynamik

$79.99

Xenobiotic Metabolic Enzymes: Bioactivation and Antioxidant Defense

$169.99

Mehrdimensionale Fourier Multiplikatoren vom iterierten Typ

$59.99

Discrete Probability Models and Methods

$119.99

Economic Growth

$129.99

Dienstleistungsmarketing in der Brombelindustrie

$54.99

Relay Feedback

$84.99

The Keynesian Tradition

$109.99

Wandel und Fortschritt in den Christdemokratien Europas

$59.99

Tubes, Sheets and Singularities in Fluid Dynamics

$129.00

Grafik und Animation mit Borland Pascal 7.0

$59.99

Das Wechselverhalten von Konsumenten im Strommarkt

$89.99

Proceedings of the Eleventh International Forum on Decision Sciences

$149.00

Constructing South East Europe

$39.99

Solid Waste Policies and Strategies: Issues, Challenges and Case Studies

$84.99

Technological Systems in the Bio Industries

$169.99

International Organization in the Anarchical Society

$219.99

Spitzengas durch Zusatz von Flssiggas- Wassergas- und Flssiggas-Generatorgas-Gemischen zu Stadtgas

$59.99

Ultrasonography in Ophthalmology 11

$39.99

Landscapes of a New Cultural Economy of Space

$169.99

Combinatorics, Graph Theory and Computing

$219.99

Leucocyte Typing

$129.00

Fathering in India

$109.99

Calcium Channel Pharmacology

$169.99

Trends in Harmonic Analysis

$109.99

Anwendungen der Schwingungsspektroskopie in der Anorganischen Chemie

$54.99

Parametrische Statistik

$29.99

My Weird School Daze: Officer Spence Makes No Sense! (#5)

$3.74

Physical Rehabilitation of Paralysed Facial Muscles: Functional and Morphological Correlates

$139.00

Open Source Approaches in Spatial Data Handling

$169.99

Linking Sustainability and Happiness

$169.99

Supernovae and Stellar Wind in the Interstellar

$54.99

Neurodevelopmental Disorders

$169.99

The Lion and the Little Animals

$5.21

Advancing Culture of Living with Landslides

$59.99

Desert Weeds

$199.99

Bank Management in a Changing Domestic and International Environment: The Challenges of the Eighties

$219.99

Processes in GeoMediaVolume IV

$139.99