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
Systems Analysis in Forest Resources
$169.99
Secure Coordination Control of Networked Robotic Systems
$179.99
Resources for Teaching Mindfulness
$159.99
Sequential Approximate Multiobjective Optimization Using Computational Intelligence
$169.99
Dizionario Economico-Commerciale / Wirtschaftswrterbuch
$69.99
Information Security Practice and Experience
$54.99
Analytics, Machine Learning, and Artificial Intelligence
$79.99
Praktische Tips fr die Medizinische Doktorarbeit
$54.99
Breast Cancer Prevention and Treatment
$54.99
Forensic Toxicology
$39.99
Austin Friars
$54.99
System Design Optimization for Product Manufacturing
$109.99
Unsteady Turbulent Shear Flows
$109.99
Entwicklung Paralleler Betriebssysteme
$54.99
Concepts, Methods and Practical Applications in Applied Demography
$119.99
Scholastic News Nonfiction Readers-We the Kids: Let's Vote On It!
$5.21
Multimodal Pragmatics and Translation
$64.99
Natural Disasters and Climate Change
$54.99
Rehabilitation in Kardiologie und Angiologie
$59.99
Erfolgreiches IT-Management im ffentlichen Sektor
$44.99
Kosten/Nutzen-Management fr Informations- und Dokumentationsstellen
$59.99
Ready-To-Go 100 Book Classroom Library: Independent Reading, Grade 4
$519.00
Recent Advancements in Product Design and Manufacturing Systems
$299.99
Zur Dauerfestigkeit von Beton unter besonderer Bercksichtigung der durch Temperatur und Verkehrslas
$59.99
Betonpfahl System Mast
$59.99
Unusual DNA Structures
$84.99
Marketing-Theorie
$49.99
Festkrperphysik
$64.99
Crime and Punishment in England, 1100-1990
$53.00
A New Kirchhoff-Love Beam Element and its Application to Polymer Mechanics
$159.99
Topografie des Laiendarsteller-Diskurses
$49.99
Breaking the Boundaries
$84.99
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples
$109.99
Passive and Active Measurement
$39.99
Stabilising Capitalism
$54.99
In Vitro Embryogenesis in Higher Plants
$169.99
Reverse Logistics II
$59.99
Algorithms and Computation
$39.99
Specification of Software Systems
$39.99
Philosophische Tradition im Dialog mit der Gegenwart
$69.99
