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
Umladung von langsamen, mehrfach geladenen Ionen in Neutralgasen
$44.99
Arithmetik und Geometrie
$39.99
Pulmonary Disorders and Therapy
$84.99
Beratung in symbolischen Ordnungen
$79.99
Mechanics of Granular Media
$169.99
Data Mining in Agriculture
$39.99
Critical Discourse Analysis and Cognitive Science
$54.99
Statistical Methods for the Environmental Sciences
$39.99
Finance and the Welfare State
$64.99
Recyclingtechnik
$59.99
We Are One
$5.99
Degradation Phenomena on Polymeric Biomaterials
$129.00
Studenten in den Neunzigern: Die Neokonservativen
$64.99
Poverty and Inequality in the Era of Structural Reforms: The Case of Bolivia
$84.99
COVID-19 and International Development
$139.99
Wechselrderberechnung fr Drehbnke
$49.99
Proceedings of the International Conference on Hydrology and Water Resources, New Delhi, India, Dece
$663.00
Biophotonics
$39.99
Performance Properties of Superhard Grinding Wheels in Erosive Dressing Processes
$54.99
Applications of Computer Aided Time Series Modeling
$109.99
New Essays in Applied Ethics
$54.99
Hilfsbuch fr Wrme- und Klteschutz
$59.99
Turbo Pascal 6.0
$69.99
Dear Dumb Diary: Am I the Princess or the Frog?
$5.99
Vom Neuen Geist der Universitt
$59.99
Pulsation and Mass Loss in Stars
$169.99
Delivering MPEG-4 Based Audio-Visual Services
$84.99
Project Knowledge Management
$54.99
Cascade Use in Technologies 2018
$169.99
Fracture Phenomena in Nature and Technology
$84.99
No Going Back, Net Eternity Now New Testament Series, Vol. 2- Peter and Mark, Paperback, Comfort Print- Holy Bible by Thomas Nelson
$9.99
Flow Visualization and Image Analysis
$169.00
Ebenen der Kommunikation
$44.99
Smart Computational Strategies: Theoretical and Practical Aspects
$129.00
Finanzverwaltung und Gesetzesvollzug
$49.99
Education Tools for Entrepreneurship
$159.99
An Introduction to Non-Abelian Discrete Symmetries for Particle Physicists
$39.99
Soil~Plant Relationships
$54.99
Soft Computing in Big Data Processing
$129.00
A Brief History of Price
$29.99
