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
Magic Tree House: #3 Mummies in the Morning
$5.21
Complex Systems Approach to Economic Dynamics
$39.99
Frderung von Menschen im Wachkoma der Phase F
$59.99
The Chemistry of Weathering
$169.00
Industrielles Innovationsmarketing
$59.99
Geld, berlappende Nachfragestruktur und bilaterale Transaktionen
$59.99
TV-Anytime
$39.99
Strukturale Semantik
$49.99
Quantum Computing and Quantum Bits in Mesoscopic Systems
$129.99
Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers
$89.99
Lebenszyklusrendite von Immobilien
$79.99
Psychonephrology 2
$39.99
Advances in Optical Science and Engineering
$219.99
Formal Methods for Trustworthy Computer Systems (FM89)
$54.99
Subjects in the Ancient and Modern World
$54.99
Database and Expert Systems Applications
$54.99
Topics in Environmental Economics
$109.99
Identity in Northern Ireland
$109.99
Smart Production
$44.99
Functional Assessment for Challenging Behaviors and Mental Health Disorders
$79.99
Data Network Engineering
$129.00
9th International Conference on Automated Deduction
$84.99
Optical Resonators
$74.99
Advances in Mechanical Engineering
$169.99
China in International Society Since 1949
$169.99
Biochemie
$69.99
Datenschutz im Electronic Government
$79.99
Rollenspielpraxis im Fhrungstraining
$54.99
Unit Root Tests in Time Series Volume 2
$109.99
The Earth-Moon System
$109.99
Alcohol Intoxication and Withdrawal
$39.99
Theatre in Health and Care
$54.99
Form and Dialectic in Georg Simmel's Sociology
$39.99
The Challenge of Eurocentrism
$99.00
Extensions of Logic Programming
$39.99
Confidentiality in International Commercial Arbitration
$109.99
Natural Resources and Social Conflict
$39.99
Thermodynamik
$44.99
Assessment Framework for People-Centred Solutions to Carbon Neutrality
$49.99
Managing AI in the Enterprise
$54.99
