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
Graph-Theoretic Concepts in Computer Science
$39.99
The Classical Marxist Critiques of Religion: Marx, Engels, Lenin, Kautsky
$54.99
Handbuch Regierungsforschung
$49.99
Mythos Familie
$64.99
Reading of E.M. Forster
$54.99
Biodiesel: Feedstocks, Technologies, Economics and Barriers
$109.99
Analogcomputer in Chemie und Biologie
$29.99
The Making of Regions in Post-Socialist Europe the Impact of Culture, Economic Structure and Insti
$54.99
Quantum Entropy and Its Use
$89.99
The Future of Shopping
$54.99
The Earth's Atmosphere
$169.99
Essays on the Impact of Sentiment on Real Estate Investments
$39.99
Politik
$44.99
Integrative Approach to Comprehensive Building Renovations
$109.99
Der Wrmebergang bei der Kondensation von Ammoniak
$54.99
Raising the Horseman
$8.24
Personality Traits and Drug Consumption
$54.99
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008
$169.00
Progranulin and Central Nervous System Disorders
$109.99
Cortical Bone Healing after Internal Fixation and Infection
$84.99
Recent Advances in Hydraulic Physical Modelling
$259.00
Practical GitOps
$64.99
Internationaler Motorenkongress 2023
$159.99
Bluthochdruck
$69.99
New Phenomena in Subnuclear Physics
$109.99
Zeitgeschichte, Wissenschaft und Politik
$44.99
Mathematische Knobeleien
$59.99
Handbuch Tiefe Geothermie
$179.99
Geschftserfolge in Indien
$44.99
Nature Upclose: A Dandelion's Life
$5.21
Nonlinear Analysis of Gas-Water/Oil-Water Two-Phase Flow in Complex Networks
$54.99
Die "Economie des conventions"
$74.99
Come On, Rain! (Hardcover)
$13.49
Assessment and Service-Learning in Higher Education
$129.99
Brand Fans
$159.99
Sensitivittsanalysen und parametrische Programmierung
$54.99
Life Science Management
$99.99
Medical Genetics Casebook
$109.99
Affine, Vertex and W-algebras
$109.99
Geospatial Technologies in Geography Education
$159.99
