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
Learn iPhone and iPad cocos2d Game Development
$39.99
Creativity and Cultural Production
$39.99
The Gamble of War
$54.99
Land and Labor in Europe in the Twentieth Century
$39.99
Imaging in Neonates
$189.00
Spielrume fr Geschlechterfragen
$59.99
Battery Hazards and Accident Prevention
$169.99
Proceedings of the 10th International Conference on Rotor Dynamics IFToMM
$219.99
Arbeitsmarktintegration oder Haushaltskonsolidierung?
$44.99
Network Governance
$84.99
Public Credit Rating Agencies
$109.99
Test Policy in Defense
$84.99
Wilful Misconduct in International Transport Law
$89.00
Aging and Behavior
$39.99
Regulation and Compliance in the Atlantic Fisheries
$84.99
Financial Cryptography and Data Security
$99.99
Peri-urban futures: Scenarios and models for land use change in Europe
$169.99
Hermann Broch und die Kulturkrise im frhen 20. Jahrhundert
$49.99
Trauma of the Spine
$109.99
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation
$39.99
Komplex und Global
$69.99
Medienkultur und soziales Handeln
$39.99
Chinese Criminal Entrepreneurs in Canada, Volume II
$99.99
Professional Pathways to the Presidency
$54.99
Environmental Studies
$84.99
Introduction to Cryptography
$79.99
Charters and Charter Scholarship in Britain and Ireland
$119.99
The Last Ottomans
$109.99
Populism and (Pop) Music
$129.99
Autophagy in Infection and Immunity
$169.00
Environmental Mechanochemistry
$84.99
The Biology of Camel-Spiders
$219.00
Petrogenesis and Exploration of the Earths Interior
$109.99
Diagnosis and Management of Primary Bone Tumors
$159.99
Security and Privacy in Communication Networks
$39.99
Diagnose Demenz: Ein Mutmachbuch fr Angehrige
$19.99
The Semantic Web ASWC 2006
$109.99
Equilibrium Distributions of Branching Processes
$54.99
Theoretical Atomic Physics
$139.99
Advances in Nature of Science Research
$119.00
