Image of Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Electronic Resource

Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Penilaian

0,0

dari 5
Penilaian anda saat ini :  

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.

Availability
Inventory Code Barcode Call Number Location Status
2008000111EB0004091005.437 ForCentral Library (Database Springer E-Book)Available
Detail Information
Series Title
Lecture Notes in Computer Science
Call Number
005.437 For
Publisher
Switzerland : Springer Cham.,
Collation
xiv, 143p.: Ill.
Language
English
ISBN/ISSN
978-3-031-22476-8
Classification
005.437
Content Type
Ebook
Media Type
-
Carrier Type
online resource
Edition
1
Subject(s)
Software engineering
Specific Detail Info
-
Statement of Responsibility
Other version/related
File Attachment
Comments
You must be logged in to post a comment