Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
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.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Wavelets mit Anwendungen in Signal- und Bildverarbeitung
$24.99
Algorithmic Decision Theory
$39.99
Phonics Chapter Book - Level 2: Tall in the Saddle
$6.74
Dickens and Education
$99.00
Digitalisierung und die Rolle von Weiterbildung
$59.99
Mapping Identity-Induced Marginalisation in India
$84.99
Productive Performance of Chinese Enterprises
$169.99
Vergleichende Politikwissenschaft
$59.99
Copper Transport and Its Disorders
$169.99
Handbuch der Umweltvernderungen und kotoxikologie
$179.00
Paleomicrobiology
$109.99
Neurologie des Neugeborenen
$59.99
Parabolic Boundary Value Problems
$79.99
Grundlagen rztlicher Betrachtung
$59.99
Interaktionsprozesse zwischen ErzieherInnen und Kindern
$69.99
Bernard Shaws and Virginia Woolfs Interior Authors
$119.99
Being a Teacher
$159.99
The Pathological Protein
$24.99
Network and Parallel Computing
$54.99
Automata, Languages, and Programming
$54.99
Dyslexia: From Theory to Intervention
$109.99
Advances in Intelligent Data Analysis IX
$39.99
Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
$29.99
Endoscopy
$54.99
Vergessene und verkannte Vordenker fr eine Kritische Konsumtheorie
$39.99
Recent Developments in Mechatronics and Intelligent Robotics
$129.00
Sex for Structuralists
$64.99
Wonderstruck (Hardcover)
$22.49
Calcium Binding Proteins in Normal and Transformed Cells
$39.99
History of Computing: Learning from the Past
$39.99
Assumptions of the Tea Party Movement
$54.99
The Invention of a European Development Aid Bureaucracy
$59.99
Mathematical Models in Photographic Science
$54.99
Human-Machine Interactive Systems
$54.99
Elizabeth of York and Her Six Daughters-in-Law
$139.99
The Qualitative-Quantitative Distinction in the Social Sciences
$109.99
Convexity and Duality in Optimization
$109.99
Lehrbuch der Gynkologie
$59.99
Lehr- und bungsbuch fr die Rechnerserien cbm 4001 und cbm 8001
$69.99
Traumatic Brain Injury
$169.99
