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
Amazing Glaze
$18.94
sthesiometrische Messungen in der Psychiatrie
$54.99
Human Resources Information Systems
$99.99
Auswirkung der Variationen der Primren Kosmischen Strahlung auf die Mesonen- und Nucleonenkomponent
$59.99
Indian foreign policy and the border dispute with China
$74.99
Abbildung von Diffusionsprozessen
$59.99
Vrancea Earthquakes: Tectonics, Hazard and Risk Mitigation
$129.00
Acoustical Holography
$39.99
Informationstheorie und Psychopathologie des Gedchtnisses
$69.99
Pharmazeutische bungsprparate
$74.99
Grundlagen der Unternehmungsfinanzierung
$44.99
Wege zur Musikwissenschaft / Paths to Musicology
$89.99
Nasal Polyposis and its Management
$219.99
Integration of Insect-Resistant Genetically Modified Crops within IPM Programs
$109.99
Creating the International Space Station
$79.99
Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Glo
$129.00
Rethinking the BSE Crisis
$169.99
Erfolgsfaktoren von Wertpapierbrsen im internationalen Wettbewerb
$59.99
Spectral Method in Multiaxial Random Fatigue
$109.99
Elections, Electoral Systems and Volatile Voters
$39.99
Spatio-Temporal Data Streams
$54.99
Remaking Eastern Europe On the Political Economy of Transition
$39.99
Parasites and Pathogens
$169.99
Using Central Neuromodulators and Psychological Therapies to Manage Patients with Disorders of Gut-B
$54.99
Waves in Dusty Space Plasmas
$54.99
Rethinking Knife Crime
$49.99
Handbook of Satellite Orbits
$599.99
Stable Homotopy
$29.99
Baukonstruktion - vom Prinzip zum Detail
$39.99
China: The Great Transition
$179.99
Subverting Empire
$54.99
Slow Motion
$69.99
Grundlagen der Automatisierungstechnik kompakt
$24.99
Statistical Reasoning in Medicine
$54.99
The Politics of Sacrifice
$119.99
Remnant Raising and VSO Clausal Architecture
$109.99
Normaler und hoher Blutdruck und kardiovaskulre Mortalitt bei verschiedenen Vlkern
$44.99
Die Notfalltherapie bei akutem Myokardinfarkt
$59.99
Computer Vision ECCV 2020
$84.99
Governors and Settlers
$109.99
