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
The Sociolinguistics of Hip-hop as Critical Conscience
$119.99
Aachener Bausachverstndigentage 2019
$44.99
Semiconductor Devices
$39.99
Search for Gods
$109.99
So berzeugen Sie jeden
$29.99
Genetics of Microbes
$54.99
Steroid Receptor Methods
$84.99
Das sozialdemokratische Modell
$59.99
Handel an Regelenergie- und Spotmrkten
$79.99
Multiplicative Invariant Theory
$89.00
Die Besteuerung von Kapitalgesellschaften und ihren Anteilseignern
$59.99
The Physics of Submicron Semiconductor Devices
$169.00
Bridging the Communication Gap in Science and Technology
$29.99
Capital in Classical Antiquity
$139.00
Self-adjoint Extensions in Quantum Mechanics
$129.00
Functional Aspects of the Normal, Hypertrophied, and Failing Heart
$129.00
Cybercomplexity
$199.99
Globalization, Trade, and Economic Development
$109.99
Inflammation and Oxidative Stress in Neurological Disorders
$129.00
Menschlichkeit in der Fhrung
$44.99
Computational Methods for Biological Models
$199.99
Stefan George und die Jugendbewegung
$59.99
Feldbustechnik in Forschung, Entwicklung und Anwendung
$59.99
Spinoza on Monism
$119.99
Market Risk and Financial Markets Modeling
$119.00
Information ist Energie
$79.99
Advanced Blockchain Technology
$44.99
Industrielle Produktionswirtschaft
$59.99
Make Life Visible
$59.99
3D Computer Vision
$34.99
Ideen zu einer reinen Phnomenologie und phnomenologischen Philosophie
$299.99
Graphing Grade 1 Differentiation Pack
$5.99
War and the Red Cross
$54.99
Smart Nanomaterials Targeting Pathological Hypoxia
$169.00
Ultrafast Dynamics of Chemical Systems
$169.00
The Literary Heritage of the Environmental Justice Movement
$89.99
International Human Rights Law and Protection Against Gender-Based Harm on the Internet
$139.99
Zerkleinerungs- und Klassiermaschinen
$119.99
Qualittsmanagement und Projektmanagement
$49.99
Molecular Dynamics of Glass-Forming Systems
$219.99
