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
Artificial Intelligence in Education
$99.99
Algebraic Number Theory
$37.99
Las tres preguntas
$4.49
Encyclopedic Reference of Traditional Chinese Medicine
$169.99
High-Efficiency Solar Cells
$219.99
IT-Risikomanagement mit System
$59.99
Solar Composition and its Evolution from Core to Corona
$249.99
The Future of Music
$119.99
City Form, Economics and Culture
$54.99
The Reform of Macroeconomic Policy
$84.99
Transfusion Medicine: Quo Vadis? What Has Been Achieved, What Is to Be Expected
$169.99
Industrial Safety Management
$109.99
Pesticides in World Agriculture
$169.99
C: A Software Engineering Approach
$74.99
A Study of Legal Tradition of China from a Culture Perspective
$139.00
Service Learning in Higher Education
$139.99
Rechtshandbuch Medizinische Versorgungszentren
$139.99
The Sociolinguistics of Higher Education
$54.99
Signal Averaged Electrocardiography
$299.99
Counseling International Students
$84.99
Bausteine der digitalen Transformation
$49.99
Friedrich I. von Sachsen-Gotha und Altenburg
$59.99
Advances in Deformation Processing
$109.99
Multinationals in the Global Political Economy
$129.00
Test Policy and Test Performance: Education, Language, and Culture
$219.99
Laser Interaction and Related Plasma Phenomena
$84.99
France, Britain and the United States in the Twentieth Century 1900 1940
$54.99
IT-Strategie
$39.99
Mathematical Problems
$84.99
Memorials in the Aftermath of Armed Conflict
$99.00
Processes and Boundaries of the Mind
$39.99
Abschottungs- und Anwerbungsstrategien
$39.99
Advances in Geometric Programming
$39.99
Manipulation and Control of Jets in Crossflow
$109.99
Electron, Spin and Momentum Densities and Chemical Reactivity
$129.00
National Intellectual Capital and the Financial Crisis in Brazil, Russia, India, China, Korea, and
$49.95
Triple Play
$59.99
Advances in Computer Graphics Hardware III
$109.99
German Political Thought and the Discourse of Platonism
$109.99
Clinical Ethics Consultation: A Practical Guide
$69.99
