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
Integrated Formal Methods
Best Price (Coupon Required):
Buy Integrated 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 constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
Reviews
Questions & Answers
Workplace Perspectives on Education and Training
$39.99
Evolution Equations of Hyperbolic and Schrdinger Type
$54.99
Combinatorial Optimization and Applications
$54.99
Humor in Latin American Cinema
$39.99
Post-Soviet Literature and the Search for a Russian Identity
$119.99
Resilience of Cyber-Physical Systems
$159.99
Narwhal Adventure!
$4.49
Centering Gender in the Era of Digital and Green Transition
$109.00
Holocaust Memory and National Museums in Britain
$129.99
Intelligent Sustainable Systems
$279.99
Higher-Level Hardware Synthesis
$54.99
Geodetic And Geophysical Effects Associated With Seismic And Volcanic Hazards
$54.99
Crime Prevention through Housing Design
$109.99
Synchrotron Radiation in Chemistry and Biology III
$84.99
Advanced Real-Time Manipulation of Video Streams
$39.99
Multicriteria and Multiagent Decision Making with Applications to Economics and Social Sciences
$84.99
Meine antisowjetische Ttigkeit...
$79.99
Impact Models to Assess Regional Acidification
$54.99
Lasertherapie der Haut
$149.00
Shaping Peace in Kosovo
$119.99
Body Metabolism and Exercise
$109.99
Cultural Practices and Infectious Crop Diseases
$119.00
Wirtschaftsstatistik im Bachelor
$29.99
Global Challenges in Maritime Security
$139.99
Der Einflu einer Glimmentladung auf die Permeation von Gasen durch Metalle
$59.99
Kundenkompetenzen als Determinanten der Kundenbindung
$79.99
Cloud Security Auditing
$79.99
Segregation in Language Education
$129.99
E-Democracy Privacy-Preserving, Secure, Intelligent E-Government Services
$54.99
Bundesrepublik Deutschland
$49.99
Berechnung von Drehstromnetzen
$39.99
Scholastic Text Sets Grade 1: Complete Set
$469.00
Stress Adaptation, Prophylaxis and Treatment
$84.99
The Afterlife of Ophelia
$54.99
Tuberkulose-Jahrbuch 1963
$44.99
Information Security Practices
$129.99
Die Hebezeuge
$49.99
Repairing And Extending Weather Barriers
$219.99
Physical Chemistry of Organic Solvent Systems
$109.99
Nitrogen Fixation: Fundamentals and Applications
$329.99
