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 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Reviews
Questions & Answers
Territoriality in the Globalizing Society
$84.99
Diffusion-Weighted MR Imaging of the Brain
$199.99
Selective Spectroscopy of Single Molecules
$219.99
Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Co
$99.99
Akustische Grundlagen sprachlicher Kommunikation
$109.00
Disorders of Thrombosis and Hemostasis in Pregnancy
$109.99
Comprehensive Guide to Neurosurgical Conditions
$54.99
Ceramic Microstructures
$219.99
Bemerkungen ber neuere Erddruckuntersuchungen. Modellversuche ber Zusammenwirken von Mantelreibung
$59.99
Maximal Myocardial Perfusion as a Measure of the Functional Significance of Coronary Artery Disease
$54.99
Practical Immunocytochemistry in Diagnostic Cytology
$129.99
Quantum Mesoscopic Phenomena and Mesoscopic Devices in Microelectronics
$109.99
The Amazing Unity of the Universe
$49.99
The Dark Game
$7.46
Color Theory and Modeling for Computer Graphics, Visualization, and Multimedia Applications
$169.00
Otfrid Foerster Physician and Naturalist
$54.99
Europe's Early Fieldscapes
$159.99
Anthology of Ancient Medival Woman's Song
$109.99
Basic Elements of Computational Statistics
$99.99
Corruption, Sustainable Development and Security Challenges in Africa
$129.99
Advances in Learning Software Organizations
$54.99
Allgemeine Therapie
$59.99
Gastrointestinal Interventional Radiology
$54.99
Integrated Diabetes Care
$84.99
Power of Bonding and Non-Western Soft Power Strategy in Iran
$139.99
Letters across Borders
$119.99
Grundlegende Betrachtungen zum Eisenbeton-Schiffbau
$59.99
Universality of Nonclassical Nonlinearity
$219.99
Embodiment im Stressmanagement
$34.99
Oxidative Stress and Toxicity in Reproductive Biology and Medicine
$139.00
The Dynamics of Referendum Campaigns
$129.99
Companies of Europe 1991/92
$84.99
Indigenous Knowledge and Ethnomathematics
$139.99
Systemic Transformation, Trade and Economic Growth
$54.99
Trade and the Environment in General Equilibrium: Evidence from Developing Economies
$84.99
International Oilfield Surface Facilities: Safety Analysis for Electrical Design
$109.99
Additive Manufacturing of Emerging Materials
$139.00
Ein neues Gert und neue bungen der schwedischen Heilgymnastik zur Behandlung von Rckgrats-Verkrm
$59.99
Music in the AI Era
$84.99
An Eleventh-Century Buddhist Logic of Exists
$54.99
