Gå direkt till innehållet
Formal Methods: Foundations and Applications
Spara

Formal Methods: Foundations and Applications

Lägsta pris på PriceRunner

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.

Undertitel
27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
ISBN
9783031781155
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2024-11-29
Sidor
205