Автор: Mariano M. Moscato

Підтримка

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