Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
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.
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 |
|
$40.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Agroforestry to Combat Global Challenges
$189.00
Advanced Arithmetic for the Digital Computer
$54.99
Cloud Computing Using Oracle Application Express
$29.99
Artificial Intelligence for Future Society
$249.99
Building Bridges
$109.99
Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences
$24.99
Environmental Management in India: Waste to Wealth
$159.99
Plant Fibers
$84.99
Representations of Childhood Death
$109.99
Multiple Narratives, Versions and Truth in the Contemporary Novel
$54.99
Cellular Automata and Discrete Complex Systems
$84.99
The Dilemma of Siting a High-Level Nuclear Waste Repository
$169.99
Innovation Policies, Business Creation and Economic Development
$169.99
From Natural Numbers to Quaternions
$29.99
Social Science Research Ethics in Africa
$129.99
Famotidin heute
$59.99
Verbundwerkzeuge, automatische Zufhrmittel und Flieweganlagen
$44.99
Cardiac Dysfunction in Chronic Uremia
$219.99
An Introduction to Fractional Differential Equations
$39.99
Engineering Applications of Neural Networks
$109.99
Lung Inflammation in Health and Disease, Volume I
$299.99
Broken Genius
$79.99
Safety for Future Transport and Mobility
$149.00
Wahlkmpfe in Europa 1884 bis 1889
$59.99
Kondensation
$59.99
The Biology of the Schizophrenic Process
$39.99
Aerodynamik des Fliegens
$99.99
The Value of the Humanities in Higher Education
$54.99
Ergonomics and Human Factors for a Sustainable Future
$149.00
The Ultimate Book of Phonics Word Lists: Grades K-1
$14.99
Progress in Speech Synthesis
$219.99
Rntgendiagnostik der Oberen Speise- und Atemwege, der Atemorgane und des Mediastinums Teil 6 / Roen
$59.99
Polyphenols and the Mediterranean Diet
$54.99
The Intertrochanteric Osteotomy
$89.00
Progress in Materials Science and Engineering
$84.99
Pusheen Coloring Book by Claire Belton
$12.99
Lymphoid Organogenesis
$129.00
The Tensed Theory of Time
$279.99
Understanding Economic Growth
$39.99
Britain within the European Community
$49.99
