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 $80.10 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
|
|
$89.00 | $89.00 |
|
10% OFF
This deals requires coupon
|
$80.10 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
Reviews
Questions & Answers
Renewal Processes
$54.99
Social Justice and Agricultural Innovation
$39.99
Instabilities and Nonequilibrium Structures
$39.99
Memory, Heritage, and Preservation in 20th-Century England
$139.99
Resilient Smart Cities
$199.99
Information Security
$54.99
Innovationen in der Unternehmenspraxis
$69.99
Expert Judgment and Expert Systems
$39.99
Drinking in Victorian and Edwardian Britain
$31.00
Pete the Cat-My First I Can Read!: Pete's Big Lunch
$4.46
There Was an Old Dog Who Needed a Nap
$5.24
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking
$109.99
Nanopores
$169.99
Tuberkulose-Jahrbuch
$44.99
The Quantum Labyrinth
$129.00
Construction Program Management Decision Making and Optimization Techniques
$54.99
Transport and the Development of the European Economy, 17501918
$39.99
Digitale Kommunikationstechnik II
$54.99
Water Plants of the World
$329.99
Fragmente einer Sprache des Essens
$49.99
Computer Systems
$49.99
Metabolic Profiling: Its Role in Biomarker Discovery and Gene Function Analysis
$84.99
Atlas of Taphonomic Identifications
$119.99
Revolution Under Attack
$54.99
Biology and Treatment of Colorectal Cancer Metastasis
$39.99
Betriebe, Produktion und Sozialprodukt
$69.99
Breast Cancer Epidemiology
$169.99
Forging Connections between Computational Mathematics and Computational Geometry
$54.99
High Performance Computing
$39.99
Handbook of Modern Ferromagnetic Materials
$219.99
Socialist Optimism
$109.99
Environmental Oceanography and Coastal Dynamics
$129.00
Drugs between Research and Regulations
$84.99
How Politics Makes Us Sick
$109.99
Computational Techniques of the Simplex Method
$189.00
Families, Drugs and Crime
$19.99
South-Eastern Europe after Tito
$39.99
Strategic Capability Response Analysis
$129.99
Fundamentals of the New Artificial Intelligence
$89.95
Biology of Copepods
$329.99
