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
Faith, Philosophy and the Reflective Muslim
$39.99
IUTAM Symposium on Waves in Liquid/Gas and Liquid/Vapour Two-Phase Systems
$169.00
Modellbildung in der Informatik
$39.99
Engineering Natural Product Biosynthesis
$199.99
Micromechanics of Materials, with Applications
$189.00
Sexuelle Gewalt gegen behinderte Menschen und das Recht
$59.99
Institutions in Transition
$129.00
Judges and Adjudication in Constitutional Democracies: A View from Legal Realism
$169.99
Narrative Anstze in Beratung und Coaching
$39.99
Hostage-Taking Terrorism
$39.99
Formal Approaches to Agent-Based Systems
$54.99
Nacktheit und Prderie
$39.99
Sustainability Science
$129.00
Postoperative Syndrome
$69.99
Trocknung von Leinengarnen I
$59.99
Der Dreiklang der Eigentmermobilisierung
$49.99
kologie und Marktwirtschaft
$44.99
Risk Assessment in Setting National Priorities
$39.99
Representations of Forgetting in Life Writing and Fiction
$99.99
Weakly Interacting Molecular Pairs: Unconventional Absorbers of Radiation in the Atmosphere
$169.99
Cooling Electrons in Nanoelectronic Devices by On-Chip Demagnetisation
$109.99
Massively Parallel Evolutionary Computation on GPGPUs
$54.99
Corporate Governance in the Banking Sector in China
$84.99
Kiplings India: Uncollected Sketches 188488
$39.99
Transkulturell pflegen
$49.99
Quick Guide Crypto Assets
$44.99
Proceedings of the International Conference on Computing and Communication Systems
$169.99
International Yearbook of Soil Law and Policy 2022
$59.99
Offshore Outsourcing of IT Work
$54.99
Mucus in Health and Disease
$39.99
A Complete Methodology for the Predictive Simulation of Novel, Single- and Multi-Component Fuel Comb
$109.99
Glioblastoma
$119.00
Geometrische und algebraische Methoden der Physik: Supermannigfaltigkeiten und Virasoro-Algebren
$69.99
The Era of Private Peacemakers
$69.99
Geist!
$37.99
The Economics of Health and Medical Care
$169.99
Prozessmanagement in Einkauf und Logistik
$19.99
The Eclipse of Eternity
$109.99
Ulkusfibel
$69.99
Regulating Cannabis
$69.99
