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
Gender Diversity in the Boardroom
$159.99
Metaheuristic Computation: A Performance Perspective
$109.99
Anwendung der Mikro-Rntgenfluoreszenzanalyse zur Untersuchung von Reaktionszonen in feuerfesten Bau
$49.99
User Experience for Serious Games in Virtual Reality
$89.99
Automatisierungstechnik 3
$49.99
Theories of the Logos
$99.99
Personalauswahl
$84.99
The Near-Surface Layer of the Ocean
$129.00
Therapiemanuale fr die neuropsychologische Rehabilitation
$44.99
Political Legitimacy in Asia
$54.99
Gabler / MLP Berufs- und Karriere-Planer 2003/2004: IT und e-business
$54.99
Home - Lived Experiences
$129.99
European Drug Policies and Enforcement
$169.99
Picornaviruses
$84.99
Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science
$54.99
Proceedings of International Conference on Recent Innovations in Computing
$249.99
The Politics of Multinational States
$109.99
Children and Sustainable Development
$139.99
Blood and Marrow Transplant Handbook
$199.99
Literature After Darwin
$54.99
Genetic Modification in the Food Industry
$109.99
Practice and Realization
$84.99
Die Regelung der Warenabgabe, Wiederbeschaffung und Preisgestaltung im Textileinzelhandel
$59.99
Climate Crisis: Adaptive Approaches and Sustainability
$159.99
Unter Strom
$19.99
Der effiziente Staat Fiktion oder Vision?
$69.99
The Turing Test
$169.99
Electronic Government and the Information Systems Perspective
$54.99
Ultrastructure of the Connective Tissue Matrix
$39.99
Ankylosing Spondylitis
$54.99
Innovatives Lieferantenmanagement
$59.99
Lasergerechte Konstruktion und Fertigung
$59.99
Rules on the Web: From Theory to Applications
$54.99
Macroscopic Modelling of Turbulent Flows
$39.99
Serious ADO
$49.95
Chemical Water and Wastewater Treatment
$169.00
The Semantic Web ISWC 2023
$119.99
Stem Cell Nanotechnology
$169.99
Die Sortimentspolitik in den Betrieben des Wareneinzelhandels
$59.99
Revolution, Idealism and Human Freedom: Schelling Hlderlin and Hegel and the Crisis of Early German
$109.99
