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

FM 2008: Formal Methods

Best Price (Coupon Required):
Buy FM 2008: 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
9783540682370
Condition
New
Product Description

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Selected Papers and Other Writings

Selected Papers and Other Writings

$69.99
Robotic Fabrication in Architecture, Art and Design 2018

Robotic Fabrication in Architecture, Art and Design 2018

$279.99
Shape and Layout Optimization of Structural Systems and Optimality Criteria Methods

Shape and Layout Optimization of Structural Systems and Optimality Criteria Methods

$54.99
Zur Bedeutung der Freien Nucleotide

Zur Bedeutung der Freien Nucleotide

$59.99
Methods for the Mycological Examination of Food

Methods for the Mycological Examination of Food

$39.99
Diffusion Bonding 2

Diffusion Bonding 2

$99.99
The Hammersmith 19351985

The Hammersmith 19351985

$84.99
Cognitive Integration

Cognitive Integration

$54.99
Vibration of Structures and Machines

Vibration of Structures and Machines

$109.99
Preuens Bcherverbote in Betreff der Privatpersonen und Buchhndler

Preuens Bcherverbote in Betreff der Privatpersonen und Buchhndler

$39.99
Treatment of Benign Prostatic Hyperplasia

Treatment of Benign Prostatic Hyperplasia

$109.99
Socit Internationale de Chirurgie Orthopdique et de Traumatologie

Socit Internationale de Chirurgie Orthopdique et de Traumatologie

$39.99
The Next Generation of Distance Education

The Next Generation of Distance Education

$139.99
Redefining Religious Education

Redefining Religious Education

$54.99
Mapping Legal Innovation

Mapping Legal Innovation

$129.00
Bausteine der kindlichen Entwicklung

Bausteine der kindlichen Entwicklung

$29.99
Practical Android Projects

Practical Android Projects

$44.99
Sterile Product Development

Sterile Product Development

$299.99
A Primer in Density Functional Theory

A Primer in Density Functional Theory

$79.99
Benzin, Benzinersatzstoffe und Mineralschmiermittel ihre Untersuchung, Beurteilung und Verwendung

Benzin, Benzinersatzstoffe und Mineralschmiermittel ihre Untersuchung, Beurteilung und Verwendung

$59.99
Forged by Reading (30-copy pack)

Forged by Reading (30-copy pack)

$809.70
Foundations of Computational Linguistics

Foundations of Computational Linguistics

$74.99
Ligament Balancing

Ligament Balancing

$129.99

"Wer wagt es, Knappersmann oder Ritt?"

$29.99
Frontiers and Challenges in Warm Dense Matter

Frontiers and Challenges in Warm Dense Matter

$169.99
Reorganisation und Subjektivierungen von Sozialer Arbeit

Reorganisation und Subjektivierungen von Sozialer Arbeit

$39.99
Catwings: Wonderful Alexander and the Catwings

Catwings: Wonderful Alexander and the Catwings

$4.49
Neuropsychiatric Symptoms of Cerebrovascular Diseases

Neuropsychiatric Symptoms of Cerebrovascular Diseases

$169.99
Gene Regulatory Networks

Gene Regulatory Networks

$199.99
Otto Sterns gesammelte Briefe  Band 3

Otto Sterns gesammelte Briefe Band 3

$59.99
Gabler / MLP Berufs- und Karriere-Planer IT und e-business 2007/2008

Gabler / MLP Berufs- und Karriere-Planer IT und e-business 2007/2008

$19.99
Perception and Motor Control in Birds

Perception and Motor Control in Birds

$109.99
Contemporary Psychiatry

Contemporary Psychiatry

$84.99
Theorie und Praxis der Besteuerung

Theorie und Praxis der Besteuerung

$59.99
Ergebnisse der Inneren Medizin und Kinderheilkunde

Ergebnisse der Inneren Medizin und Kinderheilkunde

$79.99
Interregionale Zusammenarbeit in der EU

Interregionale Zusammenarbeit in der EU

$59.99
Die neuen Beteiligungs- und Anlagemglichkeiten fr Versicherungsunternehmen nach dem novellierten

Die neuen Beteiligungs- und Anlagemglichkeiten fr Versicherungsunternehmen nach dem novellierten

$69.95
Dissolved Air Flotation

Dissolved Air Flotation

$159.99
Umdenken in der Abfallwirtschaft

Umdenken in der Abfallwirtschaft

$69.99
AlkyneBased Nanostructures on Silver Substrates

AlkyneBased Nanostructures on Silver Substrates

$109.99
previous
next