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
Nichtlineare Optimierung: Neuere Verfahren Bibliographie
$59.99
Die Emailfabrikation Ein Lehr- und Handbuch fr die Emailindustrie
$84.99
Functional Analysis
$34.99
Pediatric Orthopedics and Sports Medicine
$169.99
Computer Vision ECCV 2024
$79.99
Software Architecture
$54.99
Aesthetics and the Revolutionary City
$79.99
Aerodynamic Theory
$84.99
Soar
$5.99
Ideen zu einer Reinen Phnomenologie und Phnomenologischen Philosophie
$449.99
Theory of Algebraic Surfaces
$59.99
The Agitation for Law Reform during the Puritan Revolution 16401660
$54.99
Yo soy el durazno
$4.46
C. Wright Mills and the Ending of Violence
$54.99
Security of FPGA-Accelerated Cloud Computing Environments
$89.99
Seniors Housing
$84.99
Free Energy Transduction and Biochemical Cycle Kinetics
$54.99
Gesetze ber die Deutsche Reichsbahn-Gesellschaft (Reichsbahngesetz) und ber die Personalverhltnis
$49.99
Symmetrische Verschlsselungsverfahren
$44.99
sterreichische Mediengeschichte
$64.99
X-Ray Spectroscopy for Chemical State Analysis
$179.99
Computational Fluid Dynamics 2008
$349.00
Principles of Therapy in the Epilepsies
$54.99
Production Management of Chemical Industries
$109.99
Rechnergesttzte Gruppenarbeit
$54.99
Party Government in 48 Democracies (19451998)
$219.99
Summer Report of China Industrial Economic Situation Analysis (2016)
$54.99
The Legitimacy of Poetic Reason
$109.99
Geburtenrckgang und Bekmpfung der Suglingssterblichkeit
$59.99
Kommunalpolitik in Deutschland
$34.99
Financial Innovations
$54.99
Dream Teams
$54.99
Combinatorial Matrix Theory
$37.99
Machine Learning and Data Mining in Pattern Recognition
$84.99
Grundlagen der Psychologischen Diagnostik
$39.99
Quantificational Topics
$169.99
Communication, Culture and Social Change
$84.99
Machine Learning in Medical Imaging
$64.99
NMR-Tomography of the Normal Brain
$109.99
Measurement of Neutrino Interactions and Three Flavor Neutrino Oscillations in the T2K Experiment
$39.99
