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
Automated Technology for Verification and Analysis
$39.99
Zeitvariable Mehrgrensysteme
$59.99
Studien ber mechanische Bobbinet- und Spitzen-Herstellung
$69.99
Erfolgsfaktoren von deutschen Lebensversicherungsunternehmen
$59.99
Current Topics in Quantitative Finance
$54.99
Applied Environmental Biotechnology: Present Scenario and Future Trends
$109.99
Lineare Modelle mit fehlerbehafteten Daten
$74.99
Design and Testing of Digital Microfluidic Biochips
$109.99
Politik und Regieren in Bremen
$64.99
Enabling Manufacturing Competitiveness and Economic Sustainability
$169.00
Principles of Radio Navigation for Ground and Ship-Based Aircrafts
$109.99
Investigating White-Collar Crime
$159.99
Einfluss der Erdmagnetischen Unruhe auf den Brauchbaren Frequenzbereich im Kurzwellen-Weitverkehr am
$54.99
Die SEELE im Unternehmen
$59.99
21st Century Maritime Silk Road: Wind Energy Resource Evaluation
$109.00
Lrmschutzwnde an Straenverkehrswegen
$69.99
The Boundaries of the Firm
$39.99
Combinatorial and Algorithmic Aspects of Networking
$54.99
Modeling of Adhesively Bonded Joints
$169.99
Supercritical Fluid Extraction and its Use in Chromatographic Sample Preparation
$129.00
Measurement and Geometry in Upper Primary School
$39.99
Basic Mechanisms of Solar Activity
$54.99
Logic and the Nature of Reality
$54.99
Two-Dimensional Materials for Environmental Applications
$109.00
Oceanology of China Seas
$109.99
Experimental Studies in Learning Technology and ChildComputer Interaction
$37.99
Surface Models for Geosciences
$109.99
Topics in Cryptology CT-RSA 2017
$54.99
Polarization Effects in Semiconductors
$219.99
Molecular Aspects of Insect-Plant Associations
$84.99
Die Wasserstoffbrckenbindung
$59.99
Education Skills for 21st Century Teachers
$54.99
Smart Innovations in Engineering and Technology
$169.99
Life After Debt
$109.99
Residue Reviews / Rckstands-Berichte
$39.99
Statistics for Lawyers
$84.99
Development, Governance and Environment in South Asia
$169.99
Childrens Voices from the Past
$119.00
Haptics for Virtual Reality and Teleoperation
$84.99
A Short Introduction to Partial Differential Equations
$79.99
