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
Zur Vorgeschichte der Monochromate
$54.99
Critical Issues Facing the Middle East
$39.99
Global Modelling
$39.99
Lee de Forest
$34.99
D-Modules, Perverse Sheaves, and Representation Theory
$109.99
Automated Vehicles as a Game Changer for Sustainable Mobility
$59.99
Architektur in Mnchen Seit 1900
$49.99
Mathematik und Baukunst als Grundlagen abendlndischer Kultur
$59.99
Energy (A True Book: Physical Science)
$5.96
Automata, Languages and Programming
$84.99
Sociomaterial Practices in Medical Work
$44.99
Prevention of Venous Thrombosis and Pulmonary Embolism
$39.99
Krperschaft- und Gewerbesteuer
$39.99
Hhere Mathematik in Beispielen
$19.99
Influence of Stress on Cell Growth and Product Formation
$219.99
Climate Change Adaptation and Human Capabilities
$84.99
Simulation and Visualization on the Grid
$169.99
Principles of Renal Physiology
$74.99
New Science of Learning
$169.99
Architectural Interior Lighting
$89.00
Analog Signal Generation for Built-In-Self-Test of Mixed-Signal Integrated Circuits
$109.99
Chinas Trade and Investment in Africa
$109.99
Grndungsprozess und Grndungserfolg
$84.99
Control of Traffic Systems in Buildings
$109.99
Food Quality and Consumer Value
$169.99
IT-Projektmanagement kompakt
$19.99
ber einen fr Schwermetalle selektiven Ionenaustauscher
$59.99
Monitoring in Ansthesie und Intensivmedizin
$54.99
Information Systems Development
$329.99
Medienwandel als Wandel von Interaktionsformen
$39.99
Richtwerte fr das Auenrund-Lngs- und Einstechschleifen
$59.99
Advertorials versus klassische Printwerbung
$64.99
Digressions in European Literature
$54.99
Valenzkrfte und Rntgenspektren
$59.99
Simulation-based Optimization of Energy Efficiency in Production
$54.99
Handbook of Pediatric Neuro-Ophthalmology
$84.99
Mesoscale Modeling of the Atmosphere
$59.99
Advancing Research in Information and Communication Technology
$129.99
Challenges Towards Ecological Sustainability in China
$169.00
Parameterized and Exact Computation
$54.99
