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
Fachbezogene Informationsverarbeitung
$49.99
Energy Flows, Material Cycles and Global Development
$129.99
A Programming Approach to Computability
$59.99
Leading HR
$54.99
Transition Leadership
$99.99
Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm
$169.99
Proselytizing and the Limits of Religious Pluralism in Contemporary Asia
$84.99
E-Learning Practice in Higher Education: A Mixed-Method Comparative Analysis
$109.99
Interfacial Convection in Multilayer Systems
$109.99
Evolution of Lightweight Structures
$109.99
Few-Body Problems in Physics 98
$39.99
Applied Mathematics
$39.99
Understanding Campus-Community Partnerships in Conflict Zones
$109.99
Management of Adult Glioma in Nursing Practice
$54.99
Keep It Together, Keiko Carter
$5.99
HPV and Head and Neck Cancers
$39.99
Logische Untersuchungen. Ergnzungsband. Zweiter Teil
$499.99
Multimedia Mining
$84.99
Knowledge and Error
$219.99
Dialogues in Phenomenology
$109.99
Betriebswirtschaftliche Logistik
$69.99
How to Stop Worrying and Start Living by Dale Carnegie
$19.99
Uncertainty in Knowledge-Based Systems
$39.99
Grundkurs Betriebssysteme
$39.99
Waste Input-Output Analysis
$84.99
Vaccines
$139.99
Dubbel Mathematik
$9.95
ultrasound in gynecology and obstetrics
$54.99
The Theory of Mind Under Scrutiny
$159.99
Thought and Faith in the Philosophy of Hegel
$109.99
Integriertes Ideenmanagement
$79.99
Cluster-based Localization and Tracking in Ubiquitous Computing Systems
$54.99
Stress?
$44.99
Aerodynamic Drag Reduction Technologies
$219.99
Automatisiertes Fahren 2019
$129.99
Penguins Pack
$6.99
Visual Methodologies and Digital Tools for Researching with Young Children
$109.99
Field-Programmable Gate Array Technology
$169.99
Cryogenic Engineering
$299.99
Universal Access in Human-Computer Interaction. Users Diversity
$109.99
