Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4?6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science)
ISBN 10: 3031781155 ISBN 13: 9783031781155
Published by Springer, 2024
New
Soft cover
From
Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since 22 November 2018
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 26403511711
Synopsis:
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.
The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods: Foundations and Applications...
Publisher: Springer
Publication Date: 2024
Binding: Soft cover
Condition: New