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
Automated Deduction -- CADE-23
$54.99
Bankwirtschaft, Rechnungswesen und Steuerung, Wirtschafts- und Sozialkunde
$39.99
Die Schdelbasisfraktur und Ihre Akuten Komplikationen
$59.99
Die Anfnge der Mechanik
$49.99
Grab and Go Pack Theme 2: Social-Emotional Development Pre-K Spanish
$29.95
Eigentumsvorbehalt und Abzahlungsgeschft
$59.99
Venous Disorders of the Legs
$84.99
The Hormone Balance Bible - A Holistic Plan to Create Lifelong Health by Shawn Tassone Md, PhD
$26.99
Climate Change and the Sustainable Use of Water Resources
$219.99
Dyson Quantenfeldtheorie
$39.99
Topics in Hardy Classes and Univalent Functions
$39.99
Vertrauenskultur
$59.99
Explaining and Forecasting the US Federal Funds Rate
$169.00
Plant-Based Foods: Ingredients, Technology and Health Aspects
$179.99
Understanding Health and Care Among Sex Workers
$44.99
Manipulation and Control of Jets in Crossflow
$109.99
Deep Sciences for Computing and Communications
$99.99
Datenbanksysteme
$59.99
Care of the Patient with a Stroke
$54.99
Information Technology Auditing
$39.99
Lila and Hadley
$5.99
The Logic Programming Tutor
$169.99
Knowledge Creation Processes
$84.99
Diseases of Cattle in the Tropics
$109.99
Biomagnetism
$159.99
Pulsed Electric Fields Technology for the Food Industry
$84.99
The Intercultural Professional
$109.99
Obsessive-Compulsive Disorder
$84.99
Economic Development, Inequality and War
$109.99
Biodiversitt
$139.99
The New Theory of Reference
$169.99
Artificial Intelligence in Ophthalmology
$179.99
Das Desktop Publishing Handbuch
$69.99
The Dynamics of Wage Relations in the New Europe
$169.99
UnBlock the Blockchain
$159.99
Handelsrecht mit Wechsel- und Scheckrecht
$59.99
Ethical Dilemmas in Prenatal Diagnosis
$169.99
The Economics of Military Expenditures
$74.99
Bildungsmigranten aus dem subsaharischen Afrika in Moskau und St. Petersburg: Selbst- und Fremdbilde
$39.99
Linear Network Error Correction Coding
$54.99
