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
Best Price (Coupon Required):
Buy Formal Methods 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 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
Reviews
Questions & Answers
A Concise Guide to Nuclear Medicine
$49.99
Nachhaltigkeitsreporting fr Finanzdienstleister
$29.99
Family Contexts of Sleep and Health Across the Life Course
$119.99
Entrepreneurship and Culture
$109.99
Two Friends
$6.71
Maize
$329.99
Rhetoric in Neoliberalism
$109.99
Coordination in Human and Primate Groups
$129.00
Behavioural Genetics for Education
$109.99
Motion of a Drop in an Incompressible Fluid
$99.99
The Slippery Slope- Book the Tenth A Series of Unfortunate Events by Lemony Snicket
$15.99
Der Einzelne und sein Staat
$59.99
Logic, Language, Information, and Computation
$39.99
Konfliktregelung und Friedensstrategien
$29.99
Analysis and Design of Networks-on-Chip Under High Process Variation
$109.99
Acoustical Holography
$39.99
Bad Ol Boy
$39.99
Tabu Search
$219.99
Grundlagen des Marketingmanagements
$19.99
Application of Big Data, Blockchain, and Internet of Things for Education Informatization
$129.99
Transactions on Computational Science V
$54.99
Geoenvironmental and Geotechnical Issues of Coal Mine Overburden and Mine Tailings
$159.99
Mathematical Creativity
$169.00
Projektmanagement - treffend verpackt
$14.99
Das Erbe des Krieges
$59.99
International Conference on Reliable Systems Engineering (ICoRSE) - 2022
$169.99
A Statistical Mechanical Interpretation of Algorithmic Information Theory
$69.99
Die Vereinten Nationen
$19.99
The Rise of Private Actors in the Space Sector
$44.99
Applied Economics in the Digital Era
$169.99
The Dilemma of Difference
$39.99
Number Theory and Its Applications
$169.99
Handbook on Sustainability Transition and Sustainable Peace
$219.99
Finite Element Analysis for Heat Transfer
$39.99
Spracherwerb
$24.99
Multiple Primary Malignant Neoplasms
$84.99
Perfektionismus berwinden
$29.99
Produktive Wissensarbeit(er)
$64.99
Selected Scientific Papers of Alfred Land
$169.00
Hypochondrie
$79.99
