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
Musterbrecher
$69.99
Desmond Cole Ghost Patrol: Surf's Up, Creepy Stuff!
$5.21
Molecular Mechanisms of Cell Differentiation in Gonad Development
$249.99
Die Strafe I
$59.99
Wie Managed-Service-Projekte gelingen
$17.99
Media Resistance
$31.00
Chefsache Frauen II
$29.99
Sammlung von vergiftungsfllen
$59.99
Interstellar Dust and Related Topics
$39.99
Social Movements in Chile
$119.00
The Logic of Categories
$54.99
Proceedings of the IUTAM Symposium on Finite Elasticity
$39.99
The Paramyxoviruses
$39.99
The Practice of Enterprise Modeling
$59.99
Ein Leben fr die Handchirurgie
$64.99
Politisches Krisenmanagement
$49.99
Fahrradpiktogramme auf der Fahrbahn
$89.99
Grundzge Der Pathologischen Physiologie
$59.99
Cultural Studies of the Modern Middle Ages
$54.99
Higher Education in Latin America and the Challenges of the 21st Century
$109.99
Seafoods: Chemistry, Processing Technology and Quality
$39.99
Success in Evolutionary Computation
$219.99
Health Technology Assessment and Health Policy Today: A Multifaceted View of their Unstable Crossroa
$54.99
Telefonmarketing
$59.99
Big-(Wo)men, Tyrants, Chiefs, Dictators, Emperors and Presidents
$24.99
Psychopharmacology and Pregnancy
$129.99
Lehrbuch und Atlas der Spaltlampenmikroskopie des Lebenden Auges
$64.99
Convolutional Calculus
$39.99
Agile Strategy Management in the Digital Age
$34.99
The Fictions of American Capitalism
$129.99
Advances in Creativity, Innovation, Entrepreneurship and Communication of Design
$129.00
Frankia and Actinorhizal Plants
$39.99
Progress in Drug Research/Fortschritte der Arzneimittelforschung/Progrs des recherches pharmaceutiq
$39.99
New Trends on Metadiscourse
$119.00
Magyar Women
$85.00
Hochfrequenztechnik
$49.99
Energy-Efficient Electric Motors and their Applications
$169.99
The Synthesis of Self
$169.99
Untersuchungen ber Sehnervenvernderungen bei Arteriosclerose
$59.99
Der heutige Stand der Flugtechnik in Theorie und Praxis
$54.99
