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 $63.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
|
|
$69.99 | $69.99 |
|
10% OFF
This deals requires coupon
|
$63.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.
Reviews
Questions & Answers
Kant, Schopenhauer and Morality: Recovering the Categorical Imperative
$54.99
Funktionswandlungen der betrieblichen Sozialpolitik
$59.99
Sidepreneurship
$17.99
Interreligious Friendship after Nostra Aetate
$109.99
Auenpolitik als Kultur
$49.99
Von Platon zum Platonismus Ein Bruch in der berlieferung und seine berwindung
$49.99
Books on Fish and Fishing
$54.99
A General Theory of Fluid Mechanics
$59.99
First on Call for Urology
$74.99
The Utilization of Bioremediation to Reduce Soil Contamination: Problems and Solutions
$219.99
Supersymmetry in Mathematics and Physics
$39.99
Celtic Tiger in Collapse
$54.99
Ontology in Heidegger and Deleuze
$54.99
Pediatric Lens Diseases
$79.99
Global City Challenges
$54.99
Global Concerns for Forest Resource Utilization
$169.99
Understanding Alternative Investments
$39.99
Polymer Crystallization
$84.99
Autonomic Communication
$54.99
Winning the SoC Revolution
$169.99
Artificial Intelligence and Natural Language
$69.99
Incorporating Sustainability in Management Education
$109.00
Entertainment Computing - ICEC 2008
$39.99
The Microbiology of the Drop-in Biofuel Production
$169.00
Portrait of the King
$44.99
Streamlining
$54.99
Pharmazeutisch-chemisches Praktikum
$59.99
Structural Vibration
$54.99
Research in General Practice
$54.99
Social Behaviour in Fluctuating Populations
$219.99
LitLeague Grade 5
$2,750.00
Risiken und Chancen integriert managen
$17.99
Pro Exchange Administration
$39.99
Counting Penguins!
$3.71
Das moderne Brasilien
$89.99
Office Buildings
$189.00
The Palgrave Handbook of Critical Theory
$249.99
Developing an Appropriate Contaminated Land Regime in China
$109.99
Neurological Differential Diagnosis
$159.99
The Influence of Ocular Light Perception on Metabolism in Man and in Animal
$189.00
