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

Lucas Lima (u. a.)

ISBN 10: 3031224752 / ISBN 13: 9783031224751

Published by Springer, 2022

About this Item

Formal Methods: Foundations and Applications | 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings | Lucas Lima (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2022 | Springer | EAN 9783031224751 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 125797114

Bibliographic Details

• Title: Formal Methods: Foundations and Applications | 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
• Publisher: Springer
• Publication Date: 2022
• Language: English
• ISBN 10: 3031224752
• ISBN 13: 9783031224751
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 10D millimeters 235 millimeters width by 155 millimeters height by 10 millimeters depth
• Weight: 260 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.