Get Free Shipping on orders over $89
Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4â"6, 2024, Proceedings - Ciprian Teodorov
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Formal Methods: Foundations and Applications

27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4â"6, 2024, Proceedings

By: Ciprian Teodorov (Editor), Sidney C. Nogueira (Editor)

Paperback | 30 December 2024

At a Glance

Paperback


$99.75

or 4 interest-free payments of $24.94 with

 or 

Ships in 5 to 7 business days

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.

More in Network Hardware

Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey