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
Knowledge and Time
$129.99
Der Kompass zum digitalen Mentoring & Coaching
$44.99
Bildungserfolg und Migration
$49.99
VHDL and FPLDs in Digital Systems Design, Prototyping and Customization
$109.99
Smart and Innovative Trends in Next Generation Computing Technologies
$109.99
Humiliation, Degradation, Dehumanization
$169.99
Involvement of Fluids in Earthquake Ruptures
$84.99
Introduction to Gasdynamics of Explosions
$54.99
Multi-point Interaction with Real and Virtual Objects
$84.99
Emergency General Surgery
$199.99
The Solar Chromosphere and Corona: Quiet Sun
$39.99
Membrane Receptors
$39.99
Social Media Processing
$54.99
School-Based Interventions for Students with Behavior Problems
$129.99
Insect Conservation Biology (Conservation Biology, No 2)
$219.99
Higher Education in the Asia-Pacific
$169.99
Finding Source Code on the Web for Remix and Reuse
$109.99
Proceedings of Seventh International Congress on Information and Communication Technology
$329.99
Captain Awesome Goes to Superhero Camp
$4.46
Introduction to Virtual Reality
$59.99
Geological Storage of CO2 in Deep Saline Formations
$99.00
Theory and Research in Learning Disabilities
$109.99
Disease in Wild Animals
$329.99
The Unity of Science in the Arabic Tradition
$229.00
Nature and Space in Contemporary Scottish Writing and Art
$54.99
A Journey to the Center of the Earth (Barnes & Noble Children's Collectible Editions) by Jules Verne
$15.00
Elementare Einheiten und Ihre Messung
$59.99
Der Lerngegenstand Wortschreibung aus der Sicht von Lehrenden
$69.99
New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies
$169.99
5. Deutsch-sterreichisch-Schweizerische Unfalltagung in Berlin
$69.99
Polymeric Micelles: Principles, Perspectives and Practices
$179.99
Russias Relations with the GCC and Iran
$179.99
Combinatorial Optimization and Applications
$39.99
Personelle und Statistische Wahrscheinlichkeit
$59.99
Neoklassische Kapitalmarktmodelle in der Unternehmensbewertung von Kreditinstituten
$64.99
Language, Discourse and Social Psychology
$109.99
Journal on Data Semantics XV
$39.99
Alternative Unternehmensfinanzierung fr den deutschen Mittelstand
$39.99
Dummheit
$19.99
Performativity in Elizabeth Gaskells Shorter Fiction
$59.99
