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 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Reviews
Questions & Answers
Fuzzy and Bean Share New Tricks
$3.71
Understanding Sustainability with Pedagogical Practice
$159.99
The Physics and Chemistry of Aqueous Ionic Solutions
$39.99
Advances and Technical Standards in Neurosurgery
$54.99
Drosophila melanogaster Meig
$59.99
Beziehungsanalysen. Bildende Knste in Westdeutschland nach 1945
$29.99
Obstetric Medicine
$109.99
Design Science Methodology for Information Systems and Software Engineering
$49.99
Intracranial Pressure and Brain Monitoring XIV
$299.99
Reconfigurable RF Power Amplifiers on Silicon for Wireless Handsets
$84.99
Krisenbewltigung in der New Economy
$74.99
Philosophy and the Belief in a Life after Death
$109.99
French Liberalism and Imperialism in the Age of Napoleon III
$139.99
Pharmaceuticals from Microbes
$199.99
Critical Information Infrastructures Security
$89.00
Handbook of Computer Animation
$169.99
Language Learning in Anglophone Countries
$139.00
Data and Applications Security and Privacy XXX
$54.99
Komplexittsmanagement mit der K-Methode
$69.99
Dynamische Systeme: Steuerbarkeit und chaotisches Verhalten
$29.99
Management and Office Information Systems
$39.99
Prsentationstechnik
$34.99
Seminaire de Probabilites XXIX
$44.99
Banking & Innovation 2016
$29.99
Kidney in Essential Hypertension
$109.99
Power Plant Engineering
$299.00
Multimedia-Entwicklung mit Macromedia Director
$54.99
Block Backstepping Design of Nonlinear State Feedback Control Law for Underactuated Mechanical Syste
$109.99
Dedicated Mobile Communications for High-speed Railway
$169.99
Shadowhouse Fall (Hardcover)
$14.24
External Labeling
$59.99
Beginning 3D Game Assets Development Pipeline
$54.99
Sulfur Metabolism in Plants
$219.99
Biofilm Infections
$129.00
Proze- und Zwangsvollstreckungsrecht fr Betriebswirte
$59.99
An APL Compiler
$109.99
Basic Aspects of Hearing
$169.00
Grundlagen der Akupunktur
$84.99
Mechanical Behaviour of Materials at High Temperature
$329.99
Putting PIRLS to Use in Classrooms Across the Globe
$49.99
