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
Brain Informatics
$79.99
Coherence in Spectroscopy and Modern Physics
$39.99
Select Ideas in Partial Differential Equations
$64.99
Artificial Intelligence and Neural Networks
$54.99
Reading Coetzee's Women
$109.99
Coherent Structures and Simple Games
$129.00
Handbuch der Stimm- und Sprachheilkunde
$119.99
Evolutionary Computation in Combinatorial Optimization
$54.99
Pro .NET Performance
$59.99
Economic Development and Planning
$39.99
Intergroup Accommodation in Plural Societies
$39.99
Captured: The Animal within Culture
$54.99
Serverless Computing: Principles and Paradigms
$129.99
Qualittssicherung in der Medizin, Probleme und Lsungsanstze
$84.99
Guide to Differential Privacy Modifications
$59.99
East Asian Mothers in Britain
$99.99
Ethical Archaeologies
$329.99
Pitfalls in Diagnostic Radiology
$84.99
Fossile Sporae in situ
$59.99
Sprachverarbeitung in Information und Dokumentation
$69.99
The European Union as International Mediator
$79.99
Semiparametric Methods in Econometrics
$109.99
Do You Like My Bike?: An Acorn Book (Hello, Hedgehog! #1)
$4.49
Functional Electrical Rehabilitation
$84.99
Die aktive Gesellschaft
$69.99
KLR Bau und Baubilanz
$44.99
A Future Economy for All
$34.99
Measurements of Higgs Boson Properties in Proton-Proton Collisions at s =7, 8 and 13 TeV at the CER
$109.99
Advanced Information Networking and Applications
$329.99
Performance Tuning fr Oracle-Datenbanken
$59.99
Field-Coupled Nanocomputing
$54.99
Coaching als individuelle Antwort auf gesellschaftliche Entwicklungen
$64.99
Nietzsche's Machiavellian Politics
$109.99
Fourier Series, Fourier Transform and Their Applications to Mathematical Physics
$139.99
Index theory in nonlinear analysis
$129.99
Personal Politik
$29.99
Meaning in Action
$169.99
Das Elite- Missverstndnis
$44.99
Intensive and Critical Care Medicine
$54.99
Proceedings of MSR-RoManSy 2024
$299.99
