Formal Methods: Foundations and Applications | 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Haniel Barbosa (u. a.)
ISBN 10: 3031493419 ISBN 13: 9783031493416
Published by Springer, 2023
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 5, 2024
This specific item is no longer available.
About this Item
Description:
Formal Methods: Foundations and Applications | 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings | Haniel Barbosa (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2023 | Springer | EAN 9783031493416 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 127901442
Synopsis:
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods: Foundations and Applications...
Publisher: Springer
Publication Date: 2023
Binding: Taschenbuch
Condition: Neu