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
Scholastic Success With Math Tests: Grade 4 Workbook
$5.24
Contemporary Popular Music Studies
$69.99
I Survived Hurricane Katrina, 2005: A Graphic Novel (I Survived Graphic Novel #6) (Hardcover)
$18.74
Modern Actuarial Risk Theory
$74.99
Bubbles, Booms, and Busts
$44.99
Integrated Computational Life Cycle Engineering for Traction Batteries
$159.99
Resource Management for Heterogeneous Networks in LTE Systems
$54.99
Scholastic Reader! Level 2: Farm Animals
$2.99
Datenbankanwendungen mit FileMaker Pro Version 2
$29.99
The Danger Box
$5.99
Stellenanzeigen als Instrument des Employer Branding in Europa
$64.99
Professional Sport in the EU:Regulation and Re-Regulation
$109.99
Bank-Lexikon
$69.99
Klinische Replantationschirurgie
$69.99
Physics and Mechanics of Primary Well Cementing
$59.99
The Juridical Act
$79.99
Improving GIS-based Wildlife-Habitat Analysis
$39.99
Computer Science for Environmental Engineering and EcoInformatics
$84.99
Digitalisierung der Finanzindustrie
$54.99
Wasser- und Geschiebebewegung in gekrmmten Flustrecken
$59.99
Intelligent Systems and Pattern Recognition
$79.99
Elements of Homotopy Theory
$129.99
Natural Disaster and Reconstruction in Asian Economies
$109.99
Arzt und Private Krankenversicherung
$59.99
Heidelberger Jahrbcher
$59.99
Metacognitive Learning
$109.99
Deposit Insurance
$109.99
Entrepreneurship and Innovation in Japanese Agriculture
$129.99
Proceedings of the LACME '98 Sixth Latin American Conference on Applications of the Mssbauer Effect
$54.99
Integrativ managen
$24.99
Biochemistry of Vitamin B6
$39.99
Human-Computer Interaction: Interaction Technologies
$54.99
Scattering Techniques Applied to Supramolecular and Nonequilibrium Systems
$39.99
Critiquing Capitalism Today
$159.99
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
$69.99
10th Central European Congress on Food
$329.99
Integrity and Internal Control in Information Systems
$129.00
Software and Data Technologies
$54.99
Der aphasische Symptomencomplex
$59.99
Faith and Objectivity
$54.99
