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 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Reviews
Questions & Answers
Globalization, Technological Change, and Labor Markets
$129.00
ISUF, Urban Morphology and Human Settlements
$159.99
Electrical Engineering
$169.99
Analysis fr Fachoberschulen
$54.99
The Visegrad Group and Democracy Promotion
$79.99
Die Leitungsansthesie und Injections-behandlung des Ganglion Gasseri und der Trigeminusstmme
$59.99
Development Connections
$25.00
Absatzwirtschaft
$59.99
Models of the Stochastic Activity of Neurones
$54.99
Biegesteifigkeit und Tragfhigkeit von dnnwandigen Ringen und Balken bei lastabhngiger Querschnitt
$59.99
Efficiency in Complex Systems
$219.99
Recent Advances in Mechanical Engineering, Volume 2
$249.99
Der pltzliche Suglingstod (SIDS)
$54.99
Decision Theater zur Frderung mathematischer Modellierungskompetenz
$17.99
Epistemic Justification and the Skeptical Challenge
$54.99
Enterprise Risk Management
$29.99
Mass Education, Global Capital, and the World
$54.99
House of Salt and Sorrows by Erin A. Craig
$14.99
Japan versus China in the Industrial Race
$54.99
The Libyan Economy
$169.99
David Lynch
$119.99
Spectroscopy of Defects in Organic Crystals
$169.99
Advances in Geomorphology and Quaternary Studies in Argentina
$129.00
Kritische Betrachtungen zur Psychoanalyse
$69.99
Niederdruckplasmen und Mikrostrukturtechnik
$169.00
Minor Constituents in the Middle Atmosphere
$219.99
International Symposium on Intelligent Informatics
$329.99
Asian Cultures and Contemporary Tourism
$159.99
Philip Larkin and English Poetry
$109.99
Hochbaukonstruktionen
$44.99
Verhaltensstrungen bei Demenzerkrankungen
$34.99
Action Theory and Social Science
$84.99
Fhren und Coachen
$44.99
Tissue Characterization in MR Imaging
$109.99
Articulated Motion and Deformable Objects
$84.99
All-Hazards Approach
$119.00
Seeds for Diversity and Inclusion
$59.99
Interpreting Conflict
$129.00
Democracy and the Global System
$54.99
Understanding Relativity
$59.99
