1 Ebook di Haniel Barbosa
Haniel Barbosa & Yoni Zohar: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers pre …
EPUB
Inglese
DRM
€57.64
