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

FM 2014: Formal Methods

Best Price (Coupon Required):
Buy FM 2014: Formal Methods for $76.50 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: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ 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
$84.99 $84.99

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

Product Details

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

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Lernprozessorientiertes Wissensmanagement und kooperatives Lernen

Lernprozessorientiertes Wissensmanagement und kooperatives Lernen

$49.99
Technologie der Textilfasern

Technologie der Textilfasern

$59.99
Stem Cells in Reproductive Tissues and Organs

Stem Cells in Reproductive Tissues and Organs

$169.99
Lymphohaematopoietic Growth Factors in Cancer Therapy

Lymphohaematopoietic Growth Factors in Cancer Therapy

$109.99
Transactions on High-Performance Embedded Architectures and Compilers V

Transactions on High-Performance Embedded Architectures and Compilers V

$39.99
Maintainability of Building Envelope Elements

Maintainability of Building Envelope Elements

$169.99
Reaktionsverhalten von agrarischen kosystemen homogener Areale

Reaktionsverhalten von agrarischen kosystemen homogener Areale

$49.99
Quadrature Formulae

Quadrature Formulae

$69.99
Preferential Emergency Communications

Preferential Emergency Communications

$84.99
Cataract and Refractive Surgery

Cataract and Refractive Surgery

$84.99
Working Women on Screen

Working Women on Screen

$99.00
Wage Rage for Equal Pay

Wage Rage for Equal Pay

$129.99
New York

New York

$44.99
Globalization Versus Development

Globalization Versus Development

$54.99
Die landwirtschaftliche Verwertung stdtischer Abwsser

Die landwirtschaftliche Verwertung stdtischer Abwsser

$59.99
Vitamine und Mangelkrankheiten

Vitamine und Mangelkrankheiten

$59.99
Rurality, Social Justice and Education in Sub-Saharan Africa Volume I

Rurality, Social Justice and Education in Sub-Saharan Africa Volume I

$109.99
Rethinking Community Research

Rethinking Community Research

$27.99
Ad Hoc Networks

Ad Hoc Networks

$54.99
Computerized Analysis of Mammographic Images for Detection and Characterization of Breast Cancer

Computerized Analysis of Mammographic Images for Detection and Characterization of Breast Cancer

$54.99
Advances in Critical Care Testing

Advances in Critical Care Testing

$109.99
Schler*innen mit Migrationshintergrund exklusiver Gymnasien

Schler*innen mit Migrationshintergrund exklusiver Gymnasien

$79.99
From Encryption to Quantum Computing

From Encryption to Quantum Computing

$179.99
Mindful Prevention of Burnout in Workplace Health Management

Mindful Prevention of Burnout in Workplace Health Management

$109.00
The Nucleus Basalis-Neostriatum Complex in the Goose (Anser anser L.)

The Nucleus Basalis-Neostriatum Complex in the Goose (Anser anser L.)

$109.99
Schicksal und Psychotherapie

Schicksal und Psychotherapie

$17.99
Rumen Microbiology: From Evolution to Revolution

Rumen Microbiology: From Evolution to Revolution

$219.99
Thrombopoiesis and Thrombopoietins

Thrombopoiesis and Thrombopoietins

$169.99
Aminoacyl-tRNA Synthetases in Biology and Medicine

Aminoacyl-tRNA Synthetases in Biology and Medicine

$299.00
Rumanian Folk Music

Rumanian Folk Music

$54.99
Die Beleuchtung von Eisenbahn-Personenwagen

Die Beleuchtung von Eisenbahn-Personenwagen

$84.99
Game Development with MonoGame

Game Development with MonoGame

$54.99
Trends in Spatial Analysis and Modelling

Trends in Spatial Analysis and Modelling

$169.99
Anekdote

Anekdote

$29.99
Food Taints and Off-Flavours

Food Taints and Off-Flavours

$169.99
Umweltfreundliche ffentliche Beschaffung

Umweltfreundliche ffentliche Beschaffung

$109.00
Medical Genetics Casebook

Medical Genetics Casebook

$109.99
Realizing a New Global Cyberspace Framework

Realizing a New Global Cyberspace Framework

$84.99
Karbothermische und metallothermische Reduktion von hochschmelzenden Metallen im Vakuum

Karbothermische und metallothermische Reduktion von hochschmelzenden Metallen im Vakuum

$59.99
Nature-Based Solutions for Flood Mitigation

Nature-Based Solutions for Flood Mitigation

$229.00
previous
next