Items related to Formal Methods: Foundations and Applications: 27th...
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science) - Softcover
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods: Foundations and Applications: 27th...
Stock Image
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783031781155
Quantity: 2 available
Stock Image
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031781155
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications (Paperback)
Published by
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 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. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031781155
Quantity: 1 available
Stock Image
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031781155_new
Quantity: Over 20 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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; andFormal Methods for Security and Privacy. 200 pp. Englisch. Seller Inventory # 9783031781155
Quantity: 2 available
Stock Image
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26403511711
Quantity: 4 available
Stock Image
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 410691136
Quantity: 4 available
Stock Image
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18403511701
Quantity: 4 available
Seller Image
Formal Methods: Foundations and Applications
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 1929862659
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications (Paperback)
Published by
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 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. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783031781155
Quantity: 1 available