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
Kirche, Musik und sthetische Bildung
$79.99
Windows Home Server Users Guide
$34.99
Interchange Fee Economics
$99.99
Foundations of Knowledge Representation and Reasoning
$39.99
Complex System Reliability
$129.00
Anleitungen zur ansthesiologischen Praxis
$59.99
REWAS 2019
$169.99
Singularits des systmes diffrentiels de Gauss-Manin
$109.99
Organisation der Plankostenrechnung
$49.99
Nurse Practitioners and Nurse Anesthetists: The Evolution of the Global Roles
$44.99
Multi-physics Coupling Analysis of Clayey Core Wall of High Earth-Rockfill Dam
$159.99
The Rohingya Crisis and the International Criminal Court
$139.99
Dienstleistungspotenziale und Geschftsmodelle in der Personalisierten Medizin
$89.99
Kleine Handelskunde
$59.99
Gender, Democracy and Inclusion in Northern Ireland
$54.99
iek Reading Bonhoeffer
$84.99
Building Better PowerShell Code
$54.99
In-Vivo Magnetic Resonance Spectroscopy III: In-Vivo MR Spectroscopy: Potential and Limitations
$129.00
Europe: A Civilian Power?
$54.99
Narrative and Truth
$54.99
Diplomacy at the Highest Level
$129.00
Netzwerkmanagement in Kommune und Sozialwirtschaft
$37.99
International Conference on Managing Business Through Web Analytics
$279.99
Verhandelte Globalisierung
$39.99
Unternehmensgrndungen
$69.99
Sidepreneurship
$17.99
Soziale Ungleichheit
$19.99
Ein transdisziplinres Panoptikum
$49.99
Transport and Mobility Futures in Urban Africa
$169.99
Migration of Macroscopic Inclusions in Solids
$39.99
Central Nervous System Intraoperative Cytopathology
$169.99
The Effect of Education System and School Characteristics on the Gender Gap in Competencies
$89.99
Expert Clouds and Applications
$279.99
Computational Aerodynamics and Aeroacoustics
$69.99
Beginning App Development with Flutter
$54.99
The Global Sixties in Sound and Vision
$84.99
The Science of Bradley Efron
$169.99
Capacity Options for Revenue Management
$139.99
Mid-infrared Semiconductor Optoelectronics
$259.00
Atmospheric Turbulence and Air Pollution Modelling
$169.99
