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 13th InternationalConference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed andselected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.
Reviews
Questions & Answers
Soft Computing Applications
$199.99
Practical Protein Bioinformatics
$84.99
Therapeutic Applications of Honey and its Phytochemicals
$189.00
Engineering Acoustics
$119.99
Die Praxis der Psychologie
$44.99
Exploring EFL Fluency in Asia
$109.99
Herpes Simplex Virus
$169.99
Introduction to Agricultural Engineering
$109.99
Plant Biotechnology for Sustainable Production of Energy and Co-products
$129.00
Tracing Contemporary Chinese Art
$84.99
Chemical Master Equation for Biological Networks
$119.00
Flow Lines and Algebraic Invariants in Contact Form Geometry
$39.99
Chinese for Specific and Professional Purposes
$139.00
Otto Sterns Verffentlichungen Band 4
$84.99
Adaptive Reuse for Urban Food Provision
$129.99
The Complete Guide to Stress Management
$54.99
Hadron Collider Physics 2002
$39.99
Ein Neues Prinzip fr Dampf- und Gasturbinen
$44.99
Mediation at the Holocaust Memorial in Berlin
$39.99
CAD/CAM Robotics and Factories of the Future
$54.99
General Principles of Law - The Role of the Judiciary
$109.99
Mochi, Cakes and Bakes- Simple Yet Exquisite Desserts with Ube, Yuzu, Matcha and More by Catherine Zhang
$23.99
Stabilitt und Flexibilitt von Kooperationen
$79.99
Security, Privacy, and Anonymity in Computation, Communication, and Storage
$54.99
Oil Pollution in the Mediterranean Sea: Part II
$379.99
Basic Algebra
$59.99
Digestive System Diseases
$179.99
The Theory of Chemical Reaction Dynamics
$219.99
The Self and The Other
$169.99
Formal Aspects of Component Software
$54.99
Carbon Inventory Methods
$219.99
Electromagnetic Ultrasonic Guided Waves
$129.00
Transport and Turbulence in Quasi-Uniform and Versatile Bose-Einstein Condensates
$109.99
The Psychological Well-being of East Asian Youth
$109.99
Human Aspects of Information Security and Assurance
$89.99
E3 A parametric model to evaluate trade-offs between the Energetic, Economic, and Ecological lifec
$34.99
Atlas of Thyroid Lesions
$169.99
Sustainable Corporate Governance
$39.99
Contemporary Organized Crime
$119.00
Begnadigung im ehrengerichtlichen Verfahren der freien Berufsstnde
$59.99
