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
Lipophilic Vitamins in Health and Disease
$129.00
Atlas of Wisdom Teeth Surgery
$199.99
Enantioselective Organocatalyzed Reactions I
$129.00
Optimierte Prozesse fr die Groserie
$44.99
Buddhist Revival in India
$39.99
Zwischen Institution und Familie
$59.99
Engagement of Africa in Conflict Dynamics and Peace Architectures
$139.99
Youth in Conflict and Peacebuilding
$109.99
A Concept for Measuring and Evaluating Optical Anisotropy Effects in Tempered Architectural Glass
$54.99
Event-Triggered Control of Switched Linear Systems
$159.99
Embedded Systems Design Based on Formal Models of Computation
$84.99
Hypergeometric Orthogonal Polynomials and Their q-Analogues
$159.99
Lie Sphere Geometry
$79.99
Vom Krebsproblem heute und morgen. Virus und Krebs
$59.99
Becoming World Class
$109.99
Telekooperationsdidaktik
$59.99
Population Dynamics in Contemporary South Asia
$169.99
Business Intelligence
$44.99
Die Expansion der Erde
$59.99
Lipschitz Functions
$54.99
Gouvernementalitt und Erziehungswissenschaft
$49.99
Debt, Democracy and the Welfare State
$54.99
Geschichte der Dermatologie in Deutschland
$69.99
Textbook-Atlas of Intestinal Infections in AIDS
$109.00
NSX-T Logical Routing
$64.99
Cenozoic Plants and Climates of the Arctic
$84.99
Rare Metal Technology 2023
$249.99
Container Port Production and Economic Efficiency
$109.99
Occupational Health Safety Factors and Their Impact on the Mental Health of Workers
$39.99
Knstlersozialversicherungsrecht
$64.99
Information Security
$89.99
Ready4Reading Activity Book 5 Long Vowels
$124.75
Probability and Simulation
$37.99
The Reaction Wheel Pendulum
$29.99
Consolation in Medieval Narrative
$39.99
Dust Devils
$169.99
Ganita-Yukti-Bh (Rationales in Mathematical Astronomy) of Jyehadeva
$249.99
Adsorption at Natural Minerals/Water Interfaces
$179.99
Theoretical Aspects of Computing ICTAC 2016
$39.99
Practical Machine Learning with Rust
$54.99
