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
Norman to Early Plantagenet Consorts
$159.99
Duality for Nonconvex Approximation and Optimization
$109.99
Visual Language Theory
$84.99
Strategic Leadership for Turbulent Times
$139.99
The Daily Growth Cycle of Phytoplankton
$129.00
The Great East Japan Earthquake and Its Impact on German Firms
$39.99
Pervasive Computing
$54.99
ICT Systems Security and Privacy Protection
$89.00
Creating Participatory Dialogue in Archaeological and Cultural Heritage Interpretation: Multinationa
$119.00
Proceedings of the 8th International Conference on Advanced Intelligent Systems and Informatics 2022
$249.99
Institutional Barriers in the Transition to Market
$84.99
Engineering Societies in the Agents World III
$39.99
Beispielrechnungen zur Statik der Stabtragwerke
$69.99
Childrens Lifeworlds in a Global City: Melbourne
$139.99
Das Shareholder-Value-Konzept
$69.99
Extended Atmospheres and Circumstellar Matter in Spectroscopic Binary Systems
$54.99
Psychologie der Weltanschauungen
$149.99
Juli Zeh
$64.99
Responsible Communication
$59.99
Sprachbewusstheit
$59.99
Theoretische Elektrotechnik
$49.99
Inherited Cancer Syndromes
$74.99
Trends in Manufacturing and Engineering Management
$169.99
Zapato Power: Freddie Ramos Takes Off
$4.46
Wirkungsweise und Berechnung der Windkessel von Kolbenpumpen
$84.99
Carl Flgge's Grundriss der Hygiene
$59.99
Cryo-Electron Tomography
$219.99
Algorithmic Decision Theory
$54.99
Introduction to Process Algebra
$54.99
Job Scheduling Strategies for Parallel Processing
$39.99
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$39.99
Responsible Management
$54.99
Konsistente Dokumentation beim Entwurf informationsverarbeitender Systeme
$59.99
Democracy in an Age of Globalisation
$129.00
Whiteness and Class in Education
$84.99
Ion Channels
$169.00
Microfluidic Very Scale Integration (VLSI)
$84.99
Kristy's Big Day (The Baby-Sitters Club #6)
$5.99
Percutaneous Coronary Interventions for Chronic Total Occlusion
$99.99
Geometry and its Applications in Arts, Nature and Technology
$64.99
