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
Finland and the International Division of Labour
$59.99
Das Postthrombotische Syndrom
$59.99
Latin American Science Fiction
$109.99
Stitch Lorebook Card Portfolio by Ravensburger Disney Lorcana Trading Card Game
$19.99
Sozial - Innovativ - Nachhaltig
$79.99
There Was an Old Lady Who Swallowed A Chick
$5.24
The Legend of Spookley the Square Pumpkin
$3.71
Psychopharmacology and Pregnancy
$129.99
Scholastic Reader! Level 3-When I Grow Up: Sonia Sotomayor
$2.99
Die Inszenierung des Neubeginns
$59.99
Zur Geschichte der Psychiatrie
$59.99
FM 2015: Formal Methods
$39.99
Complex Numbers from A to ...Z
$34.99
Reviews of Environmental Contamination and Toxicology 188
$109.99
Limit Operators and Their Applications in Operator Theory
$129.00
Formgebung von Blechen und Bndern durch Biegen
$79.99
Klinische Ansthesiologie
$69.99
Medien und Musik
$9.99
Das Pneumoperitoneum
$59.99
Die Vernderung von Synthesefasern durch eine Hitzebehandlung im Vakuum
$54.99
Cognitive Computing ICCC 2023
$54.99
Pediatric and Congenital Cardiac Care
$169.99
Global Business Analysis
$49.99
Biodiversity and Earth History
$69.99
Individualisierung und neue Formen der Kooperation
$59.99
Entanglement Measures and Their Properties in Quantum Field Theory
$64.99
Pharmakologisches Neuroenhancement unter Studierenden
$49.99
Aushandlungen von Paaren zur Elternzeit
$39.99
Personal Injury and Damage Ascertainment under Civil Law
$179.99
Soziologie in pdagogischen Kontexten
$24.99
Projektbergreifendes Applikationsmanagement Der strategische Applikationslebenszyklus am Beispiel
$17.99
Current Cancer Research 1992
$109.99
Debian GNU/Linux in der Praxis
$69.99
Laser Precision Microfabrication
$169.00
Skeletterkrankungen
$399.99
Model-Based Software Performance Analysis
$39.99
Three-phase AC-AC Power Converters Based on Matrix Converter Topology
$84.99
Surgical Emergencies in Clinical Practice
$54.99
Low Voltage Power MOSFETs
$54.99
Radiation Dose from Multidetector CT
$219.99
