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
Update on Childhood Asthma
$54.99
Expert Oracle Indexing and Access Paths
$79.99
Cosmic Update
$39.99
Static and Dynamic Buckling of Thin-Walled Plate Structures
$109.99
Medical Decision Making
$89.99
Recent Trends in Biotechnology and Therapeutic Applications of Medicinal Plants
$169.99
Computer Vision ECCV 2020
$109.99
Cave Art, Perception and Knowledge
$39.99
Epistemology versus Ontology
$219.99
Persistent Spectral Hole-Burning: Science and Applications
$39.99
Danny and the Dinosaur Go to Camp
$4.46
Nico Bloembergen
$59.99
Advances and Technical Standards in Neurosurgery Vol. 30
$169.99
Die Business AG Aktiengesellschaft fr den Mittelstand
$59.99
Mechanisms of Atrial Arrhythmias
$109.99
Langzeitbetreuung Wachkoma
$44.99
ZB 2003: Formal Specification and Development in Z and B
$84.99
Maximum Principles and Geometric Applications
$159.99
Gesetz betreffend den Forstdiebstahl vom 15. April 1878 mit Erluterungen
$59.99
Reviving Classical Liberalism Against Populism
$59.99
Narval: Unicornio del Mar
$4.49
The First Decade of Living with the Global Crisis
$39.99
Current Microbiological Research in Africa
$109.99
Logic Programming
$54.99
Nic Bishop Frogs (Hardcover)
$14.99
Das Getriebebuch
$109.00
Liposuction
$349.00
Kupfer und Kupferlegierungen
$44.99
The Sociology of Loyalty
$129.99
NANO-CHIPS 2030
$139.99
Performance, Subjectivity, Cosmopolitanism
$99.99
Innovative Assessment of Collaboration
$119.00
The Attraction of Gravitation
$199.99
Interactive Storytelling
$74.99
Machine Learning and Knowledge Discovery in Databases
$84.99
New Agents for the Treatment of Acute Lymphoblastic Leukemia
$129.00
Poverty and Exclusion in a Global World
$109.99
Plant Tissue Culture Manual
$54.99
Mining Spatio-Temporal Information Systems
$84.99
Modernes Marketing Moderner Handel
$44.99
