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
Emerging Technology and Architecture for Big-data Analytics
$169.99
Fhrung und Wertschpfung
$39.99
Innovation, Regional Integration, and Development in Africa
$169.99
Assessment and Management of Hepatobiliary Disease
$84.99
Mosaic of a Scientific Life
$84.99
The Causes and Consequences of Income Tax Noncompliance
$109.99
Super-Recursive Algorithms
$84.99
Ergebnisse der Biologie
$59.99
Network Analysis and Architecture
$139.00
Biological Innovations that Built the World
$199.99
Financial Markets and Corporate Reporting under Geopolitical Risks
$189.00
Mind, Meaning and World
$99.99
Steuerrecht in der Unternehmenspraxis
$49.99
Bodenmechanik und Grundbau
$54.99
Absatzwerbung
$59.99
The Art of Gluing Space-Time Manifolds
$49.99
Bilder und Vorstellungen von Kindern und Kindheiten im medialen Diskurs
$74.99
Philosophische Spaziergnge
$9.99
Exit 13: The Spaces In Between
$5.99
Local Operators and Markov Processes
$29.99
Becoming and Being a Camp Counsellor
$54.99
Business and the Sustainable Development Goals
$49.99
The Climate of Europe: Past, Present and Future
$249.99
Information Search, Integration, and Personalization
$54.99
Intelligent Systems in Technical and Medical Diagnostics
$219.99
Halloween Party Murder by Leslie Meier
$26.00
Den Schulabschluss schaffen
$59.99
CAD for Hardware Security
$109.99
Lexile Elementary Levels 300-390
$195.00
Foundations of Geometric Algebra Computing
$39.99
Classic Goosebumps: You Can't Scare Me! (#17)
$5.99
An Introduction to Mechanics of Human Movement
$54.99
Molecular Mechanisms of Dementia
$169.99
The Soils of Sri Lanka
$109.99
Stability of Axially Moving Materials
$89.00
Vaccines for Invasive Fungal Infections
$139.00
Basic Aspects of Receptor Biochemistry
$44.99
Computational Techniques for Fluid Dynamics
$199.99
Image Processing Based on Partial Differential Equations
$219.99
The British Army and Jewish Insurgency in Palestine, 1945-47
$219.99
