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
Intelligent Optimization of Mold Design and Process Parameters in Injection Molding
$139.99
Systems, Software and Services Process Improvement
$54.99
Performance Evaluation, Prediction and Visualization of Parallel Systems
$129.00
Logic - Language - Ontology
$109.00
Sozialwissenschaft
$39.99
The Zombie Zing (Project Z #3)
$5.99
Business Knowledge Management
$39.99
Noble Metal Systems. Selected Systems from Ag-Al-Zn to Rh-Ru-Sc
$549.99
Clinicians Manual: Treatment of Hypertension
$39.99
Cosmic Enigmas
$44.99
Yearbook on Space Policy 2006/2007
$129.00
Design, User Experience, and Usability. Design for Contemporary Interactive Environments
$39.99
Perceived Brand Localness
$39.99
Rauschen
$59.99
HCI International 2020 Late Breaking Papers: Digital Human Modeling and Ergonomics, Mobility and I
$109.99
Endokrinologie der Entwicklung und Reifung
$69.99
Diagram Geometry
$119.99
The Study of Time IV
$39.99
Armut in der Stadt
$59.99
Physics and Chemistry of Finite Systems: From Clusters to Crystals
$54.99
Contemporary Discourses in Social Exclusion
$169.99
Introduction to Databases
$89.00
Grundlagen der Astrophysik
$69.99
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
$39.99
Neutrality and Theory of Law
$159.99
Muslim Voices and Lives in the Contemporary World
$39.99
Marriage in Comparative Conflict of Laws: Substantive Conditions
$54.99
Nonfiction Sight Word Readers: Level B (Multiple-Copy Set)
$91.49
Understanding Kidney Diseases
$99.00
Environmental Technologies and Trends
$39.99
Applied Wavelet Analysis with S-PLUS
$109.99
International Economics I
$54.99
Vertrieb fr Logistikdienstleister
$74.99
Managing and Mining Sensor Data
$109.99
Geodesy for a Sustainable Earth
$59.99
Constructions of Widowhood and Virginity in the Middle Ages
$109.99
Pursuing Effective Multilateralism
$39.99
The Scientist as Consultant
$54.99
Das politische System Polens
$29.99
Die beratene Gesellschaft
$59.99
