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
The Handbook of Political Behavior
$39.99
Betriebssysteme
$34.99
Bildungsdokumentation in Kindertageseinrichtungen
$79.99
Eisenhower, Macmillan and Allied Unity, 19571961
$39.99
Open Source Systems: Towards Robust Practices
$59.99
Adam Smith in Context
$84.99
Educational Philosophy for 21st Century Teachers
$139.99
The Late Medieval Origins of the Modern Novel
$99.99
Spectrum Sharing Between Radars and Communication Systems
$44.99
Helmut Schmidt
$54.99
Im Spiegel des Sozialen
$39.99
E-Learning and Games
$54.99
Constraint Satisfaction Techniques for Agent-Based Reasoning
$69.99
Arbeit im Spannungsfeld von Gesellschaft und Individuum
$44.99
Markets and Politicians
$219.99
Physical Chemistry of Organic Solvent Systems
$109.99
Legal Aspects Around Satellite Constellations
$129.00
The Diversity of Gastric Carcinoma
$129.00
Integrierte Unternehmensfhrung
$99.99
Proceedings of the Fifth European Conference on Computer Supported Cooperative Work
$39.99
Problems of Religious Pluralism
$39.99
Radiopathology of Organs and Tissues
$109.99
Advances in Gain-Scheduling and Fault Tolerant Control Techniques
$84.99
American Foreign Policy and Forced Regime Change Since World War II
$59.99
Controlled Release in Oral Drug Delivery
$219.99
Multidimensionales Controlling und Kostenmanagement
$64.99
Cloud Defense Strategies with Azure Sentinel
$69.99
Compulsory Patent Licensing and Access to Medicines: A Silver Bullet Approach to Public Health?
$109.99
Leading Responsibly in the Asian Century
$89.99
Firewalls Don't Stop Dragons
$29.99
Mathematics of Neural Networks
$219.99
Politikwissenschaft und Politische Bildung
$59.99
Geronimo Stilton-Thea Stilton: The Secret of the Crystal Fairies (Hardcover)
$13.49
Industrial Archaeology
$109.99
Retail Crime
$84.88
Rezeption des antiken Dramas auf der Bhne und in der Literatur
$39.99
Information Systems Development
$329.99
Die Rohstoffe der Keramik
$49.99
Forschung und Technik
$59.99
Einfhrung in die Ramanspektroskopie
$39.99
