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
Masculinity and Monstrosity in Contemporary Hollywood Films
$54.99
AIME 91
$109.99
Photovoltaikanlagen im Steuerrecht
$39.99
Genetic Manipulation in Plants for Mitigation of Climate Change
$129.00
Modelling in Life Insurance A Management Perspective
$139.99
Erdbebenverhalten schwimmend gelagerter Balkenbrcken bei Bercksichtigung der Boden Struktur In
$49.99
The Biology and History of Molecular Biology: New Perspectives
$119.99
Ethical Counselling and Medical Decision-Making in the Era of Personalised Medicine
$39.99
Geomatics and Geospatial Technologies
$69.99
Professional Practice in Artificial Intelligence
$84.99
CAD-Fachgesprch
$69.99
Schlaf Atmung Kreislauf
$99.99
The Network Experience
$54.99
Mobility in Space and Time
$54.99
Risikomanagement
$149.99
Pediatric Nephrology in the ICU
$169.99
Introduction to Algebraic Topology
$49.99
Modelling Trends and Cycles in Economic Time Series
$54.99
Knowledge Science, Engineering and Management
$129.99
Linear Algebra in Data Science
$44.99
Deterministic Chaos in Infinite Quantum Systems
$109.99
English for Personal Assistants
$54.99
Scholastic Success With Reading Tests: Grade 5 Workbook
$5.24
Applying Computational Intelligence
$109.99
Wildlife Behavior and Conservation
$169.99
Handelscontrolling
$54.99
Grund- und Wasserbau in praktischen Beispielen
$59.99
Yearbook of International Humanitarian Law Volume 18, 2015
$179.99
Angeborene Herz- und Gefssmissbildungen Durchblutungsstrungen des Herzmuskels
$54.99
Lolas War
$44.99
Dienstleistungstarife und Nutzungsentscheidungen
$59.99
Philosophy of the Anthropocene
$44.99
Progress in Cosmology
$54.99
Diffuse Low-Grade Gliomas in Adults
$299.99
Herbal Medicine in India
$169.99
Trust, Privacy and Security in Digital Business
$54.99
IUTAM Symposium on Waves in Liquid/Gas and Liquid/Vapour Two-Phase Systems
$169.00
Hochhuser in Deutschland
$49.99
Kreiselgeblse und Kreiselverdichter
$64.99
Intergenerative Umverteilung in der reprsentativen Demokratie
$89.99
