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
Mathematical Analysis II
$49.99
The Handbook of Neuropsychiatric Biomarkers, Endophenotypes and Genes
$129.00
Industrial Applications of Combinatorial Optimization
$169.99
Background Calibration of Time-Interleaved Data Converters
$109.99
Die Absatzverhltnisse der Kniglichen Saarbrcker Steinkohlengruben in den letzten 20 Jahren (1884
$69.95
Contingent Future Persons
$84.99
Arduino Microcontroller Processing for Everyone! Part II
$119.99
Endocrine and Neuroendocrine Surgery
$129.00
Solving Problems in Thermal Engineering
$59.99
The history of oncology
$79.99
Aufgaben der Talentfrderung
$59.99
Schmerzklinik
$69.99
Jihad
$109.99
Introduction to the Urban History of China
$99.99
Critiquing Capitalism Today
$159.99
The Palgrave Companion to Oxford Economics
$249.99
High Performance Computing
$54.99
Genome Mapping and Genomics in Arthropods
$219.99
Handbuch der Presshefenfabrikation
$49.99
Beyond Immersive Theatre
$29.99
Inflammation: Mechanisms and Therapeutics
$54.99
Influence and Behavior Analysis in Social Networks and Social Media
$84.99
Electrohydrodynamics in Dusty and Dirty Plasmas
$109.99
Knowledge, Language and Logic: Questions for Quine
$54.99
Entwicklungspsychologie
$29.99
More Than Peach (Hardcover)
$13.49
Bankwirtschaft in kundennahen Lernsituationen
$29.99
Stream-Tube Method
$199.99
Der Stoffwechsel
$49.99
Cellular Injury in Liver Diseases
$129.00
Quin ganar? Ballena azul vs. Mosquito (Who Would Win? Blue Whale vs. Mosquito)
$4.49
Hombre Mosca y Chica Mosca: Cacera entra amigos (Fly Guy and Fly Girl)
$3.74
Groups and Markets
$109.99
Handbook of Neuroendovascular Techniques
$109.00
Geriatric Hip Fractures
$169.99
Leadership and Economic Development Challenges in Post-Colonial Africa
$129.99
Information Security Applications
$54.99
Effects of Exercise on Hypertension
$109.99
Comprehensive Virology
$54.99
Principles and Perspectives in Cosmochemistry
$329.99
