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
Emotion und Fehlentscheidung
$24.99
Geowissenschaften und Umwelt
$54.99
The Nervous Systems of Invertebrates: An Evolutionary and Comparative Approach
$219.99
Linguistics and Literacy
$84.99
Financial Engineering
$169.99
Der Blumenspiegel
$29.99
Trusted Computing - Challenges and Applications
$69.99
Evolutionary Design of Intelligent Systems in Modeling, Simulation and Control
$129.00
Methane Biocatalysis: Paving the Way to Sustainability
$129.00
R-Evolution - des biologischen Weltbildes bei Goethe, Kant und ihren Zeitgenossen
$19.99
Wild World-Fast and Slow: Mammals
$5.99
Husserl-Chronik
$399.99
Quantum Stochastic Calculus and Representations of Lie Superalgebras
$29.99
Online Social Media Analysis and Visualization
$109.99
The Chicken Squad: The Case of the Weird Blue Chicken
$5.96
Grundwissen Mathematikstudium - Analysis und Lineare Algebra mit Querverbindungen
$59.95
Taschenatlas Notfall & Rettungsmedizin
$34.99
Computing and Combinatorics
$54.99
Berichte zur Lebensmittelsicherheit 2012
$29.99
Handbook of Positive Psychology, Religion, and Spirituality
$49.99
Reliability of Optical Fibres and Components
$169.99
Clinical Disorders of Membrane Transport Processes
$54.99
Applied Information Processing Systems
$169.99
The Balkans in the Cold War
$119.99
From Brows to Trust
$84.99
A New Research Agenda for Improvements in Quality of Life
$39.99
Reflective Goal Setting
$39.99
Simulating Crowds in Egress Scenarios
$39.99
Chirurgie und Recht
$54.95
Wings of Fire: Moon Rising (#6)
$6.74
Sharpening Mathematical Analysis Skills
$69.99
Advanced Biofuels and Bioproducts
$219.99
Optimization Theory, Decision Making, and Operations Research Applications
$109.99
Das Soziale gestalten
$29.99
Research on Chinas Monetary Policy System and Conduction Mechanism
$219.99
Multimedia Communications, Services and Security
$39.99
A Duck, Duck, Porcupine! Book: My Kite Is Stuck! and Other Stories
$5.21
bAV - der neue Versorgungsausgleich
$39.99
Literature 1972, Part 1
$39.99
Simulation Science
$39.99
