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
Modelling German Covered Bonds
$64.99
Aristotles Theory of Practical Cognition
$39.99
Foundations for the Web of Information and Services
$129.00
Neurochemical Monitoring in the Intensive Care Unit
$39.99
Engagement Design
$109.00
Economia Matematica
$29.99
Innovative Technologies in Urban Mapping
$54.99
Seminar on Periodic Maps
$29.99
Scientific Information Transfer: The Editors Role
$219.99
Prediction Methods for Blood Glucose Concentration
$84.99
A Safer Death
$39.99
Atmospheric Diagnostics of Stellar Evolution: Chemical Peculiarity, Mass Loss, and Explosion
$84.99
Knowledge Integration
$84.99
Money
$29.99
Die Neuropathologischen Syndrome
$59.99
The Physicist's Conception of Nature
$329.99
Solidarity Across Generations
$219.99
An Introduction to Polymer Colloids
$54.99
Familire Erziehung aus Kindersicht
$44.99
The Tropes of War
$54.99
Plant Production on the Threshold of a New Century
$39.99
Topics on Methodological and Applied Statistical Inference
$169.99
Pervasive Healthcare Computing
$84.99
Scalable Uncertainty Management
$119.99
Baumanagement und Baukonomie
$69.99
Membrane Physiopathology
$169.00
Mobile Particulate Systems
$219.99
The Labyrinth of Star Formation
$219.99
Guide to Biometric Reference Systems and Performance Evaluation
$109.99
PT-Symmetric Schrdinger Operators with Unbounded Potentials
$54.99
Education in Developing Countries
$54.99
Pro ASP.NET Core MVC 2
$44.99
Wertpapierbrsen
$59.99
Cellular Automata and Discrete Complex Systems
$39.99
Star Maps
$59.99
Test Policy and the Politics of Opportunity Allocation: The Workplace and the Law
$84.99
Embryonic Stem Cell Protocols
$129.00
Seagrasses: Biology, Ecology and Conservation
$219.99
Performing Objects and Theatrical Things
$119.99
Intelligent Technologies for Healthcare Business Applications
$149.00
