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: Foundations and Applications
Best Price (Coupon Required):
Buy Formal Methods: Foundations and Applications for $40.50 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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Reviews
Questions & Answers
Yeast Metabolic Engineering
$249.99
Isoprenoid Synthesis in Plants and Microorganisms
$229.00
Design of Miniaturized Variable-Capacitance Electrostatic Energy Harvesters
$89.99
The Semantic Web - ISWC 2003
$109.99
Sustainable Agriculture Reviews 50
$129.00
Shakespeare's Tragic Imagination
$129.00
Drones and the Creative Industry
$59.99
Handbook of Public Credit in Europe
$84.99
Fundamental Aspects of Asymptotic Safety in Quantum Gravity
$109.99
Agriculture, Environment and Sustainable Development
$109.99
Die Mechernicher Triasbucht
$59.99
Intelligent Technologies and Applications
$84.99
Betriebswirtschaftslehre des Handwerks
$59.99
Clinical Pharmacology in the Elderly
$54.99
Cyber Crisis Management
$44.99
Managing Talent
$109.99
Applications of Topological Methods in Molecular Chemistry
$449.99
Household Divisions of Labour
$54.99
Fliebedingung fr Stahlbeton mit Bercksichtigung der Betonzugfestigkeit
$54.99
Neural Information Processing
$84.99
Ergebnisse der Biologie
$59.99
Institutional Advancement
$54.99
Integrated Project Delivery for Building Infrastructure Opportunities
$119.99
Alternative Propulsion for Automobiles
$139.99
Key Players and Regional Dynamics in Eurasia
$109.99
Dynamic Linear Models with R
$84.99
The Mathematical Aspects of Quantum Maps
$39.99
Clayton Byrd Goes Underground
$6.71
Monographie der Familie Platypodidae (Coleoptera)
$159.99
Taschenatlas Physik fr Mediziner
$59.99
Problem-Solving Methods in Combinatorics
$64.99
Wahlen und Whler
$59.99
Proceedings of International Conference on Network Security and Blockchain Technology
$249.99
Stereoselective Desymmetrization Methods in the Assembly of Complex Natural Molecules
$109.99
Emergence of Temperature in Examples and Related Nuisances in Field Theory
$39.99
Praktische Orthothanasie (Sterbebeistand) im Arbeitsfeld sozialer Praxis
$59.99
Random Fields of Piezoelectricity and Piezomagnetism
$39.99
Die Parteien nach der Bundestagswahl 2002
$59.99
Social Networks and Surveillance for Society
$54.99
Global Transition
$109.99
