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
Aufbau Der Zusammenhngenden Materie
$54.99
Flax: Breeding and Utilisation
$219.99
Chronischer Beckenbodenschmerz (CPPS)
$17.99
Analysis
$34.99
HIV/AIDS in Sub-Saharan Africa
$54.99
Mechanizing Mathematical Reasoning
$109.99
Guide to Disaster-Resilient Communication Networks
$109.99
Impact Assessment and Evaluation in Transportation Planning
$109.99
Die Anatomie der Pleurakuppel
$59.99
Symbolic Cities in Caribbean Literature
$39.99
Fhrer fr Diskussionsleiter
$54.99
Akzeptanz standardisierter Dienstleistungsvertrge
$64.99
kosystem Darm
$99.99
Marketing: Grundlagen
$19.99
Speech Enhancement Techniques for Digital Hearing Aids
$84.99
Speaking of Gods in Figure and Narrative
$54.99
The Demography of Remarriage in Japan
$54.99
DNA Replication
$109.99
Brazil in the 1990s
$109.99
Popular Media in Kenyan History
$99.99
Knowledge Science, Engineering and Management
$109.99
The Variational Bayes Method in Signal Processing
$109.99
Erfolgsstrategien fr Automobilzulieferer
$49.99
Accelerator Programming Using Directives
$60.00
Personalorientierte Montageplanung fr komplexe und variantenreiche Produkte
$59.99
Textbook of Tinnitus
$169.00
Strabismus Symposium Amsterdam, September 34, 1981
$54.99
Neuromorphic Computing and Beyond
$54.99
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
$54.99
Infrastrukturen der Stadt
$49.99
Collective Excitations in Solids
$54.99
Reflexivity in Criminological Research
$109.99
Innovation, Governance and Entrepreneurship: How Do They Evolve in Middle Income Countries?
$139.99
Re-envisioning Blake
$54.99
Palms in Forest Ecosystems of Amazonia
$109.99
Personality and Psychopathology
$109.99
Die Zentrifugalventilatoren und Zentrifugalpumpen und Ihre Antriebsmaschinen der Elektromotor und di
$49.99
Continuous-Time Sigma-Delta A/D Conversion
$149.00
Advanced Finite Element Simulation with MSC Marc
$159.99
ber Widersprche sprechen
$79.99
