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
Toward Sustainable Operations of Supply Chain and Logistics Systems
$169.99
Sustainable Food Waste Management
$169.99
Lola Reads to Leo
$5.96
Advances in Artificial Intelligence
$39.99
Pro .NET Memory Management
$79.99
Transforming Teacher Education Through the Epistemic Core of Chemistry
$54.99
Kleine politische Ethik
$59.99
Ultraschallpraxis in Geburtshilfe und Gynkologie
$119.99
Zur Frage der Binnenschiffahrtsabgaben
$59.99
A Beginner's Guide to Introduce Artificial Intelligence in Teaching and Learning
$54.99
The International Political Economy of Work and Employability
$39.99
Memory Performance of Prolog Architectures
$169.99
Schlaf Atmung Kreislauf
$99.99
Post-LBO development
$39.99
Six Sigma kompakt und praxisnah
$44.99
Lipoxygenases and their Metabolites
$39.99
Computergesttztes Lernen und Teledienste
$49.99
Diversity and Inclusion in Global Higher Education
$59.99
3rd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing
$219.99
Hypnosis
$39.99
The Palgrave Handbook of Malicious Use of AI and Psychological Security
$199.99
Spanish Philosophy of Technology
$109.99
Studies on Lake Vechten and Tjeukemeer, The Netherlands
$169.00
Progress in Cryptology LATINCRYPT 2019
$74.99
Proceedings of the 7th World Congress on Engineering Asset Management (WCEAM 2012)
$199.99
Theorie der Public Relations
$69.95
Recent Advances in Information and Communication Technology 2019
$169.99
Mechanism, Mentalism and Metamathematics
$169.99
Tandem Repeat Polymorphisms
$129.00
Imagining Mass Dictatorships
$109.99
Ultracold Quantum Fields
$119.00
Hate Speech - Multidisziplinre Analysen und Handlungsoptionen
$64.99
Advances in Knowledge Discovery and Data Mining
$54.99
The Art & Science of Learning Design
$49.99
Qu Tal?
$8.75
Prozeorientiertes Informationsmanagement in multinationalen Unternehmen
$44.99
Volkswirtschaftslehre
$44.99
African Spirituality and Ethics
$109.00
Gemeindebezogene Gesundheitsfrderung
$44.99
