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
Oliver Wendell Holmes Jr., Pragmatism and Neuroscience
$69.99
Multimedia Communications, Services and Security
$39.99
Optical Character Recognition
$129.00
Introduction to Real-time Software Design
$54.99
Innovative Personalentwicklung
$74.99
Treatment of Hepatic Metastases of Colorectal Cancer
$109.99
Fundamental Aspects of Silicon Oxidation
$84.99
Software Engineering with Computational Intelligence
$169.99
Primordial Nucleosynthesis and Evolution of Early Universe
$39.99
Oncoplastic and Reconstructive Breast Surgery
$149.00
Criminal Dilemmas
$54.99
Learning in Non-Stationary Environments
$129.00
Deutsche Literatur
$59.99
New Frontiers in Applied Data Mining
$39.99
Selectivities in Lewis Acid Promoted Reactions
$169.00
Leading with Emotional Intelligence
$159.99
Microcluster Physics
$199.99
Reality and Experience
$219.99
Technologies of Memory in the Arts
$54.99
The Little Green Swing (Little Ruby's Big Ideas) (Hardcover)
$14.24
Application of Troubleshooting Tools in the Monitored Production Processes
$169.99
Inspiration
$54.99
Human-Computer Interactions in Museums
$59.99
Dictionary of Physics
$1,999.99
Charge Transfer Reactions in Electrochemical and Chemical Processes
$84.99
Lineare Planungsrechnung und Netzplantechnik
$59.99
Lie Groups: Structure, Actions, and Representations
$109.99
Artificial Neural Networks - ICANN 2001
$149.00
Oil, Institutions and Sustainability in MENA
$109.99
Lehrbuch der Bauphysik
$44.99
Innovationsleistung und Unternehmenswert
$69.99
Soils of the World
$129.00
Metabolomics Tools for Natural Product Discovery
$169.99
Cryopreservation and Freeze-Drying Protocols
$169.99
Erblichkeitsuntersuchungen an Nigella Damascena L
$59.99
Evolutionary and Neo-Schumpeterian Approaches to Economics
$129.00
Molecular Basis of Pulmonary Disease
$189.00
Biophysical and Biochemical Information Transfer in Recognition
$109.99
Onboarding-Prozesse im Einzelhandel
$17.99
Hundert Fragen und Antworten zum Euro
$34.99
