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
Digital Customer Experience
$69.99
Pattern Recognition: Applications and Methods
$54.99
Daten- und Funktionsmodellierung
$59.99
Diagnostic and Therapeutic Antibodies
$84.99
Magnetic Resonance Imaging with Nonlinear Gradient Fields
$54.99
An Introduction to Artificial Psychology
$149.00
Pioneering Ideas for the Physical and Chemical Sciences
$169.99
Pattern Recognition
$54.99
Britain and Biological Warfare
$84.99
Mechanical Behavior and Fracture of Engineering Materials
$169.99
Multiple Criteria Decision Making Theory and Application
$109.99
Out-of Hospital Ventilation
$139.99
Spensers Heavenly Elizabeth
$99.99
Identifying the Complex Causes of Civil War
$64.99
Halbleiter-Bauelemente
$39.99
Hybrid Artificial Intelligent Systems
$39.99
Medicinal and Aromatic Plants of South America
$169.99
Efficient Radiology
$69.99
Reading the Male Gaze in Literature and Culture
$119.99
Physical Methods in Plant Sciences
$109.99
Boo! Bluey's Halloween- A Magnet Book by Penguin Young Readers
$14.99
The Carbon Dioxide Revolution
$59.99
Operations Research Proceedings 1996
$109.99
Informationsorientiertes Management
$49.99
In Vitro Culture of Mycorrhizas
$299.99
Heute Partner - morgen Konkurrenten?
$59.99
Software Specification Methods
$109.99
Gewalt und Konflikt in einer globalisierten Welt
$69.99
Social Informatics
$54.99
Rural Transformation through Servitization
$159.99
Ausgeblendet? Frauenbild und Frauenthemen im nordrhein-westflischen Lokalfunk
$59.99
Maritime Governance and Policy-Making
$219.99
Civilizational Discourses in Weapons Control
$84.99
Hayek: A Collaborative Biography
$169.99
The Joy of Sets
$54.99
Interdisziplinre Risikoforschung
$44.99
Discrete Fuzzy Measures
$199.99
Heavy Gas and Risk Assessment II
$54.99
Der Unterricht in der Suglings- und Kleinkinderpflege
$59.99
Axiomatic Models of Bargaining
$99.99
