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 |
|
$44.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Georessourcen
$44.99
Komatse Zustnde
$59.99
Protein Dynamics, Function, and Design
$39.99
Instability and Transition
$84.99
Theory and Practice of Geometric Modeling
$219.99
MDCT Anatomy - Body
$84.99
Black Womens Writing
$169.99
Cross-Platform .NET Development
$39.99
Biology of the Arthropod Cuticle
$84.99
Pediatric Development and Neonatology
$39.99
Informing Energy and Climate Policies Using Energy Systems Models
$169.99
Clifford the Big Red Dog: Clifford Celebrates Hanukkah
$3.74
HIV/AIDS in U.S. Communities of Color
$54.99
Finite Elemente Ein Einstieg
$44.99
Owls (Strigiformes)
$169.00
Intelligent Systems and Data Science
$129.99
ECOOP 2014 -- Object-Oriented Programming
$54.99
Ingredients for Successful System Level Design Methodology
$109.99
Operative Planung in IT-Systemen fr die Produktionsplanung und -steuerung
$39.99
Verbrennung und Feuerungen
$59.99
Ireland in an Imperial World
$119.99
Modelling of Magmatic and Allied Processes
$109.99
Internetkompass Krebs
$39.99
Nonlinear Dynamic Phenomena in Mechanics
$129.00
Plant Microbiome Paradigm
$169.99
Short-Distance Phenomena in Nuclear Physics
$39.99
Systematisches Programmieren
$44.99
Medicine and Mobility in Nineteenth-Century British Literature, History, and Culture
$159.99
Imaging Mass Spectrometry
$109.99
Transdisziplinre Jugendforschung
$49.99
Bound by Ice: 6-Book Set
$30.95
Methods of Strategic Trade Analysis
$64.99
Archaeological Ambassadors
$119.99
Selbstkontrolle im Berufsfeld Public Relations
$49.99
Chemical Diagnostics
$219.99
Multiscale Dissipative Mechanisms and Hierarchical Surfaces
$169.99
Arctic Alpine Ecosystems and People in a Changing Environment
$169.99
Clinical Cases in Cardio-Oncology
$89.99
Category Theory and Computer Science
$39.99
Evaluation of Basic Government Service Capability in Chinese Cities
$129.99
