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
Integrated Optics
$39.99
Politics of Favoritism in Public Procurement in Turkey
$59.99
Advanced Analysis and Design for Fire Safety of Steel Structures
$169.00
Der Einflu des cos auf die Tarifgestaltung der Elektrizittswerke unter besonderer Bercksichtigu
$44.99
Die Praktische Behandlung von Integral-Gleichungen
$44.99
Kulturarbeit in Transformationsprozessen
$44.99
Integral Operators in Potential Theory
$29.99
International Organizations and Lifelong Learning
$39.99
Internationalization and Localization Using Microsoft .NET
$44.95
HIV, Resurgent Infections and Population Change in Africa
$109.99
Erfolgreich lehren: Ermutigen, motivieren, begeistern
$29.99
Nearrings
$279.99
Quality and Change in Teacher Education
$109.99
History of Machines for Heritage and Engineering Development
$39.99
Variational and Free Boundary Problems
$109.00
Personal sustainability
$17.99
Scholastic Reader! Level 2-The Magic School Bus: The Magic School Bus Builds the Statue of Liberty
$2.99
Berechenbarkeit, Komplexitt, Logik
$59.99
Women in Medicine
$54.99
Euro-Par97 Parallel Processing
$39.99
Third International Handbook of Lifelong Learning
$449.99
Environmental Change and Agricultural Sustainability in the Mekong Delta
$129.00
Disability Services and Disability Studies in Higher Education: History, Contexts, and Social Impact
$39.99
Latency and Distortion of Electromagnetic Trackers for Augmented Reality Systems
$29.99
Fractional Dynamics, Anomalous Transport and Plasma Science
$84.99
Changing Ones
$89.99
The Tawhidi Methodological Worldview
$159.99
Eichung der Binnenschiffe
$44.99
Quantum Relativity
$119.00
Timing Neutron Stars: Pulsations, Oscillations and Explosions
$169.99
Literarischer Jugendstil und Expressionismus
$139.99
Proceedings of the 3rd International Symposium on Big Data and Cloud Computing Challenges (ISBCC 1
$219.99
Core Level Spectroscopies for Magnetic Phenomena
$109.99
Malignant Melanoma: Biology, Diagnosis, and Therapy
$129.00
Strategische Allianzen als Instrument der strategischen Unternehmensfhrung
$49.99
Laws of Medicine
$54.99
Aging and Human Motivation
$169.99
Transforming Nature
$129.00
Algorithms for Next Generation Networks
$129.00
Mathematical Problem Solving
$179.99
