Andere Kunden interessierten sich auch für
![Formal Methods: Foundations and Applications]( "Formal Methods: Foundations and Applications")
Formal Methods: Foundations and Applications41,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification30,99 €![Formal Techniques for Distributed Objects, Components, and Systems]( "Formal Techniques for Distributed Objects, Components, and Systems")
Formal Techniques for Distributed Objects, Components, and Systems52,99 €![Theoretical Aspects of Software Engineering]( "Theoretical Aspects of Software Engineering")
Theoretical Aspects of Software Engineering90,94 €![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems37,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems41,99 €
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail 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
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail 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