Leopoldo Teixeira – författare
Visar alla böcker från författaren Leopoldo Teixeira. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
Av Maurice H. ter Beek, Leopoldo Teixeira
Häftad, 2025
854 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 …
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Av Leopoldo Teixeira, Maurice H. ter Beek
E-bok, 2025
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 …
