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
The Next Step Forward in Guided Reading and The Guided Reading Teacher's Companion Pack (10-copy pack)
$539.90
Polarization Theory of Nuclear Reactions
$199.99
Problems in the Theory of Knowledge / Problmes de la thorie de la connaissance
$109.99
British Romanticism in Asia
$139.99
Innovations in Computational Intelligence and Computer Vision
$249.99
Migrant Hospitalities in the Mediterranean
$54.99
Strategisches Akquisitionsmanagement im Konzern
$44.99
Connexin Methods and Protocols
$84.99
Beweisen lernen Schritt fr Schritt
$39.99
Objektorientierte Entwicklung eines parallel arbeitenden Materialflusssimulators
$59.99
Die Familie in den neuen Bundeslndern
$44.99
Ecology of Shallow Lakes
$139.99
Comprehensive Handbook of Cognitive Therapy
$279.99
Handbook of Multilingual TESOL in Practice
$189.00
Interorganisationale Geschftsprozesse in virtuellen Marktpltzen
$59.99
The File
$54.99
Key Skills fr die Generation Y
$37.99
Interdisciplinarity and Problem-Based Learning in Higher Education
$109.99
Power from Pellets
$109.99
Energy Utilisation: The Opportunities and Limits
$49.99
The West African Orogens and Circum-Atlantic Correlatives
$84.99
Erkenntnislehre
$44.99
Testing Modern Biostratigraphical Methods
$54.99
Advanced Techniques in Optimization for Machine Learning and Imaging
$219.99
Studies of Cave Sediments
$169.99
Graphentheoretische Methoden des Operations Research
$69.95
Detection of Malingering during Head Injury Litigation
$74.99
Integrierte Digitale Schaltungen MOS / BICMOS
$44.99
Masterkurs IT-Management
$29.99
Digital Technologies in the New Socio-Economic Reality
$299.99
Political Culture in Panama
$54.99
Pro iOS and Android Apps for Business
$49.99
Content-Management in der Praxis
$49.99
The Research System in Transition
$169.00
Current Concepts in Contact Dermatitis
$169.99
Cellulose Fibers: Bio- and Nano-Polymer Composites
$449.99
Waste Input-Output Analysis
$84.99
The Precarious in the Cinemas of the Americas
$119.99
Gesundheitskonomische Evaluationen
$59.99
Microstrip Patch Antennas: A Designers Guide
$249.99
