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
Advances in Modeling Concrete Service Life
$169.99
Learning in Natural and Connectionist Systems
$129.00
Krisen und Krisenmanagement in Familienunternehmen
$54.99
Food Bites
$14.99
Immunglobulintherapie
$69.99
Organisation in der Produktionstechnik 3
$59.99
Von der Hochschulverwaltung zum Hochschulmanagement
$69.99
Papers on Fuchsian Functions
$169.99
Geriatrics
$39.99
Teaching, Technology, Textuality
$54.99
Identifiability and Regression Analysis of Biological Systems Models
$54.99
Gianfrancesco Pico Della Mirandola (14691533) and His Critique of Aristotle
$39.99
Wild World-Fast and Slow: Birds
$5.24
Transhumanism and Society
$79.99
Kochsalz. Fleischextrakte und hnliche Prparate. Fische. Lurche und Kriechtiere. Krustentiere und W
$59.99
Guillaume Postel
$249.99
Ertragsorientiertes Zielkundenmanagement fr Finanzdienstleister
$59.99
Therapie von Entscheidungskonflikten
$39.99
Advances in Multimedia Information Processing PCM 2018
$54.99
Der durchlaufende Trger ber ungleichen ffnungen
$59.99
Einfhrung in die analytische Psychotherapie
$64.99
Trace Metals in the Westerschelde Estuary: A Case-Study of a Polluted, Partially Anoxic Estuary
$109.99
Tables for Texture Analysis of Cubic Crystals
$54.99
Banana Fox: Banana Fox and the Book-Eating Robot
$5.99
Unternehmensbewertung und Marktpreisfindung
$59.99
Changing Dynamics and Mechanisms of Maritime Asia in Comparative Perspectives
$159.99
Dialogue and Deviance
$54.99
WEBKDD 2002 - Mining Web Data for Discovering Usage Patterns and Profiles
$54.99
Modern Oracle Database Programming
$64.99
Lending Behavior toward Family Firms
$54.99
Nonsmooth Analysis and Geometric Methods in Deterministic Optimal Control
$84.99
Light Absorption of Organic Colorants
$39.99
Nachhaltige Markendifferenzierung von Commodities
$74.99
The Subjective Value of Privacy
$109.99
Bildungsplanung in der Bundesrepublik Deutschland
$59.99
The Deep Metaphysics of Space
$119.99
Why Minority Governments Work
$119.99
On Judicial Management from Comparative Perspective
$179.99
The Riddle of the Modern World
$109.99
Das Existenzgrndungs-Kompendium
$39.99
