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 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on 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
Europe in an Era of US-China Strategic Rivalry
$99.00
The Theory of Advanced First Aid
$169.99
Wartezeiten
$59.99
Motion Correction in Thoracic Positron Emission Tomography
$54.99
A William Makepeace Thackeray Chronology
$109.99
Hydrogen Bonded Supramolecular Structures
$54.99
The 'No-Nonsense' Guide to Doing Business in Japan
$84.99
Rethinking R.G. Collingwood
$39.99
Kulturelle Identitt und interkulturelles Lernen
$64.99
Macromedia Director
$44.99
Formal Specification Techniques for Engineering Modular C Programs
$129.00
Archaeogeophysics
$84.99
Cross-Cultural Design. Methods, Tools, and Users
$59.99
New Classroom Collection Grade 2
$459.00
Sprechen ber literarische Texte
$44.99
Information Handling in Astronomy - Historical Vistas
$84.99
Essential Angular for ASP.NET Core MVC
$29.99
Dominion and Wealth
$39.99
The Bethesda System for Reporting Thyroid Cytopathology
$79.99
The Space Shuttle Program
$54.99
Determinanten der Sportrezeption
$79.99
Interactive Panoramas
$84.99
Software Engineering and Formal Methods
$54.99
Die Trume in Dostojewskys Raskolnikoff
$59.99
Fractional Elliptic Problems with Critical Growth in the Whole of $\R^n$
$29.99
Marriage and Late-Victorian Dramatists
$89.99
Smart Health
$54.99
Faserverbundwerkstoffe
$84.99
Wirtschaftliche Entwicklungsplanung in der Vereinigten Arabischen Republik
$59.99
Arterial Blood Gas Interpretation in Clinical Practice
$84.99
New Work: Auf dem Weg zur neuen Arbeitswelt
$39.99
Synergetics
$129.99
Financial Economics
$129.99
Trusted Systems
$39.99
Transactions on Petri Nets and Other Models of Concurrency III
$39.99
Imaging Dementia
$109.99
Die Energiefrage
$99.99
Creating Client Extranets with SharePoint 2003
$49.99
International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD'2023)
$149.00
Interfirm Relationships and Trade Credit in Japan
$54.99
