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 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Reviews
Questions & Answers
Notfallkommando - Kommunikation im Notfall
$17.99
Circles of Hope
$5.96
Radionuclide Contamination and Remediation Through Plants
$169.99
Alterspsychotherapie und klinische Gerontopsychologie
$54.99
Der Geburtenrckgang in Indonesien
$44.99
Research-Based Teacher Evaluation
$84.99
Rohrnetzberechnungen in der Heiz- und Lftungstechnik auf einheitlicher Grundlage
$69.95
Hydrogeochemical Evaluation and Groundwater Quality
$139.99
The Cuban Revolution
$39.99
Diversity, Equity and Inclusion
$84.99
Die praktische Nutzanwendung der Prfung des Eisens durch tzverfahren und mit Hilfe des Mikroskopes
$59.99
Eine Methode fr die integrierte rechnergesttzte Montageplanung
$84.99
Angewandte Virtuelle Techniken im Produktentstehungsprozess
$109.00
The Changing Faces of Ireland
$49.99
Theory of Cryptography
$54.99
Flows in Networks Under Fuzzy Conditions
$109.99
Transformation mittel- und osteuropischer Wissenschaftssysteme
$49.99
Beautiful / Bellas
$4.49
Role of Microorganisms in Pathogenesis and Management of Autoimmune Diseases
$219.99
Design Ethnography
$37.99
Crosslinkable Polyethylene Based Blends and Nanocomposites
$129.00
Management kumulierter Risiken bei Banken
$44.99
Arbeitsmarktkonomik
$29.99
Solarturmreceiver fr berkritische Dampfprozesse und ihre technische und konomische Bewertung
$69.99
Change Management in Nonprofit Organizations
$129.00
New Trends in Nonlinear Dynamics and Control, and their Applications
$129.00
Leaders in the Historical Study of American Education
$49.99
Computer-Aided Cooperative Product Development
$84.99
Programmierung mit PASCAL
$54.99
Infinite Dimensional Morse Theory and Multiple Solution Problems
$149.00
bereinkommen fr die gegenseitige Benutzung der Personen- und Gepckwagen im Bereiche des Vereins D
$49.99
Microbiology of Extreme Soils
$249.99
Abstract Harmonic Analysis
$109.99
Emerging Issues and Controversies in Infectious Disease
$219.99
Frontier Technologies in Bovine Reproduction
$219.99
ECOOP 2001 - Object-Oriented Programming
$39.99
New Horizons of Parallel and Distributed Computing
$169.99
Taking Complexity Seriously
$109.99
Value Creation through Engineering Excellence
$99.00
Fundamental Questions of Practical Cosmology
$169.99
