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
King of Battle and Blood by Scarlett St. Clair
$16.99
Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems
$60.00
Surfactants in Consumer Products
$84.99
Advances in Fluid Mechanics
$179.99
The Dynamics and Complexities of Interracial Gay Families in South Africa: A New Frontier
$54.99
Extensions of Rings and Modules
$39.99
Build Back Better
$159.99
Using R for Biostatistics
$179.99
Prozess- und Kundenorientierung
$59.99
Global Challenges in Maritime Security
$139.99
Clinical Cases in Integrative Dermatology
$59.99
The Massachusetts General Hospital Handbook of Cognitive Behavioral Therapy
$109.00
Nagelerkrankungen in der dermatologischen Praxis
$99.00
Synthesis of Nanoparticles and Nanomaterials
$169.99
Programmierung des OS/2 Extended Edition Database Manager
$69.99
Learner Narratives of Translingual Identities
$99.99
Aesthetico-Cultural Cosmopolitanism and French Youth
$84.99
Fixing Higher Education
$109.99
Ethnography and Education Policy
$159.99
Handbook of Topological Fixed Point Theory
$169.99
Introduction to Blender 3.0
$69.99
Solving the Pell Equation
$79.95
Arbeitsmedizinische Studien in Nord-Amerika und Sd-Afrika
$59.99
Advances in Enterprise Engineering VIII
$39.99
Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunittsforschung
$84.99
Theoretical Acoustics and Numerical Techniques
$54.99
Die undifferenzierten Astrozytome des Grohirns
$69.99
Valuation of Human Capital
$59.99
Bank Competition, Efficiency and Liquidity Creation in Asia Pacific
$54.99
Making American Culture
$54.99
Fly Guy Presents: Space
$3.74
Untersuchungen ber das Alterungsverhalten, die Temperaturbestndigkeit und Zeitstandfestigkeit von
$59.99
Molecular Genetics, Biochemistry and Clinical Aspects of Inherited Disorders of Purine and Pyrimidin
$109.99
50 Jahre GAMM
$49.99
Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Glo
$109.00
Perspektiven der Nachhaltigkeit
$59.99
Therapist Effects on Attrition in Psychotherapy Outpatients
$49.99
Early Writings in the Philosophy of Logic and Mathematics
$119.99
Educational Leadership through a Practice Lens
$159.99
The Atlas of Climate Change: Based on SEAP-CMIP5
$169.99
