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 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Reviews
Questions & Answers
Organic Farming, Pest Control and Remediation of Soil Pollutants
$219.99
Stabilization Clauses in International Investment Law
$199.99
Vom Referat bis zur Examensarbeit
$19.99
Probability Approximations and Beyond
$109.99
Mathematics Education in the Early Years
$139.00
Passive and Active Circuits by Example
$89.99
Rostschutz und Rostschutzanstrich
$79.99
Security of Data and Transaction Processing
$84.99
Money Stock Control and Inflation Targeting in Germany
$54.99
Technisierte Behrden
$49.99
Prostacyclin und Hypertonie
$69.99
Gender and Criminality in Bangla Crime Narratives
$84.99
Handbuch der Weberei
$84.99
Information Systems: Failure Analysis
$109.99
Managers Guide to SharePoint Server 2016
$19.99
Wissenschaft und Arbeitnehmerinteressen
$69.99
Normale und anomale menschliche Hmoglobine
$49.99
US Narratives of Nuclear Terrorism Since 9/11
$169.99
Investition
$39.99
The Rocket Men
$49.99
A Love of Discovery
$39.99
Die Ausbildung im Grohandel nach der neuen Check-Liste der Industrie- und Handelskammern
$59.99
Multivariate Time Series With Linear State Space Structure
$84.99
The Humanistic Heritage
$44.99
Foundations of Atlas
$29.99
Wirtschaftsprfung
$69.95
Trainingshandbuch Recherche
$37.99
African-American/Afro-Canadian Schooling
$39.99
Die Familie in der Familientherapie
$59.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2023
$89.00
Channel Modeling and Physical Layer Optimization in Copper Line Networks
$109.99
Class and Social Honour
$119.99
The Sensory Evaluation of Dairy Products
$79.99
Outer Space and Popular Culture
$139.99
Laryngektomie
$39.99
Europe in the Age of Post-Truth Politics
$59.99
Grundzge der industriellen Kosten- und Leistungserfolgsrechnung
$59.99
Diemenschlichen Nahrungs- und Genussmittel, ihre Herstellung, Zusammensetzung und Beschaffenheit, ih
$49.99
Cash- und Liquidittsmanagement
$59.99
Responsibility and Punishment
$109.99
