1 द्वारा ईबुक Mariano M. Moscato
Aaron Dutle & Mariano M. Moscato: NASA Formal Methods
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were car …
EPUB
अंग्रेज़ी
DRM
€96.10
