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:
Buy Formal Methods and Software Engineering for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Carbon Fibers
$149.00
Process and Plant Safety
$169.99
Smarte Aufgaben zu Mechanik und Wrme
$29.99
Die Kunst gemeinsam zu handeln
$64.99
Handbook on Approval Voting
$149.00
Eurasian Economic Perspectives
$169.99
Green Composites
$39.99
Protestant Dublin, 1660-1760
$89.00
Creating An American Culture: 1775-1800
$54.99
Elektrotechnik mit BASIC-Rechnern (SHARP)
$49.99
Scaling the Tail: Managing Profitable Growth in Emerging Markets
$54.99
Lieferkettengesetz
$17.99
Metrics for Process Models
$39.99
Basic Bundle Theory and K-Cohomology Invariants
$79.99
Computational Science and Its Applications ICCSA 2024
$79.99
Numerische Mathematik Differentialgleichungen Approximationstheorie
$49.99
Nanoscale Magnetic Materials and Applications
$219.99
Management of Extended Parotid Tumors
$109.99
Fortran
$59.99
Josephine Against the Sea (Hardcover)
$13.49
Hitchhiking
$39.99
Gewhnliche Differentialgleichungen
$59.99
Historical Sociology of State Formation in the Horn of Africa
$139.99
Acute Head Injury
$54.99
Intelligent Tire Systems
$89.99
Metabolic Interconversion of Enzymes 1980
$84.99
Deep Belief Nets in C++ and CUDA C: Volume 2
$39.99
High-Performance Nutrition for Masters Athletes by Lauren A. Antonucci
$27.95
SAS fr Anfnger
$59.99
Communication and Intelligent Systems
$249.99
Real Estate: Investment and Financial Strategy
$169.99
The Anthropology of Ignorance
$54.99
Der Harn sowie die brigen Ausscheidungen und Krperflssigkeiten von Mensch und Tier ihre Untersuch
$69.99
The State of Environment in Asia
$54.99
Wild New York
$44.99
Dot-Dash to Dot.Com
$44.99
The African American Urban Experience
$54.99
Robust Emotion Recognition using Spectral and Prosodic Features
$39.99
Dynamics of the Sun and Stars
$129.00
Human Brain and Artificial Intelligence
$84.99
