1 द्वारा ईबुक Vince Molnar
Lucas Lima & Vince Molnar: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book wer …
EPUB
अंग्रेज़ी
DRM
€64.40
