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
The Informal City
$109.99
Litigation-PR: Alles was Recht ist
$49.99
Public Economics and the Environment in an Imperfect World
$84.99
Production Technology of Stone Fruits
$199.99
Zum 150. Todestag: Albrecht von Graefe (1828-1870)
$64.99
General Principles of Orthopedics and Trauma
$109.99
Literary Paths to Religious Understanding
$54.99
The Holocaust, Fascism and Memory
$54.99
Eurasian Business Perspectives
$109.99
Advances in Biometric Person Authentication
$54.99
Philosophy of Language in the Brentano School
$129.99
Metallographische Arbeitsverfahren
$69.95
PreMBA Analytical Primer
$199.99
Security in Shared Neighbourhoods
$54.99
Error Control for Network-on-Chip Links
$109.99
Explosives Detection using Magnetic and Nuclear Resonance Techniques
$129.00
A History of Central Europe
$32.99
Human Factors and Reliability Engineering for Safety and Security in Critical Infrastructures
$169.99
The Rooster Who Would Not Be Quiet! (Hardcover)
$14.24
Air Transport System
$179.99
Basiswissen Biochemie mit Pathobiochemie
$54.99
Global Orthopedics
$99.00
Spermatogenesis Genetic Aspects
$84.99
Fetch: An AFK Book (Five Nights at Freddy's: Fazbear Frights #2)
$7.49
Managing and Mining Sensor Data
$109.99
The Municipal Financial Crisis
$39.99
Methods in Urban Analysis
$54.99
The Demons of William James
$39.99
Vom Urknall zum Durchknall
$24.99
Numerical Treatment of Inverse Problems in Differential and Integral Equations
$54.99
The Palgrave Review of British Politics 2005
$84.99
Geschichte der CSU
$64.99
Deep Sciences for Computing and Communications
$89.99
Z=63-99
$549.99
Produktdesign
$17.99
Modernes Kostenmanagement
$49.99
Melanoma Development
$199.99
Womens Employment and Multinationals in Europe
$109.99
Epizootic Hemorrhagic Disease Virus
$149.00
Chemo-Mechanical Couplings in Porous Media Geomechanics and Biomechanics
$109.99
