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
Formal Methods and Software Engineering
Best Price (Coupon Required):
Buy Formal Methods and Software Engineering 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 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
Reviews
Questions & Answers
Nonlinear Model Predictive Control of Combustion Engines
$169.99
Lebenslanges Lernen Strategien fr ltere Semester
$17.99
Transactions on Intelligent Welding Manufacturing
$189.00
Burning Women
$54.99
Red Light, Green Light
$5.96
Standardization and Expectations
$54.99
Light as an Energy Source and Information Carrier in Plant Physiology
$84.99
Friedensstiftung durch prventive Staatsgewalt
$69.99
Osteoarthritis
$109.99
Dynamics of Immune Activation in Viral Diseases
$149.00
Meteorologie und Klimatologie
$49.99
From Customer Retention to a Holistic Stakeholder Management System
$54.99
ASEAN Economic Community
$119.99
Partial Derivatives
$54.99
Advances in Dental Implantology using Nanomaterials and Allied Technology Applications
$109.99
German Yearbook on Business History 1984
$84.99
Multiphase Hybrid Electric Machines
$199.99
Netherlands Yearbook of International Law - 2004
$169.99
Practical Handbook for Small-Gauge Vitrectomy
$129.99
Non-State Actors in World Politics
$54.99
Value Distribution Theory of the Gauss Map of Minimal Surfaces in Rm
$39.99
The New System of National Accounts
$219.99
Cutting Edge of Ophthalmic Surgery
$179.00
Katalyse in Lsungen
$59.99
The Ultimate Book of Cities by Anne-Sophie Baumann
$24.99
Ordinary Differential Equations: Basics and Beyond
$99.99
Software Engineering for Multi-Agent Systems IV
$54.99
Animal Behaviour: Evolution and Mechanisms
$99.99
The Social Metabolism of Spanish Agriculture, 19002008
$54.99
IUTAM Symposium on Micro- and Macrostructural Aspects of Thermoplasticity
$169.00
Soziogramm mit dem Commodore 64
$44.99
Classical and Quantum Aspects of Gravity in Relation to the Emergent Paradigm
$139.99
Wendepunkt Frauenhaus?
$34.99
Physics Education and Gender
$139.99
Regelungstechnik fr Ingenieure
$34.99
Tiny T. Rex and the Impossible Hug by Jonathan Stutzman
$15.99
Follow Me
$5.99
Zwischen Mobilitt und Sesshaftigkeit
$49.99
Modern Analytic Mechanics
$109.99
Das Kriegsgeschehen 2006
$54.99
