1 Ebooks door Jyotirmoy V. Deshmukh
Jyotirmoy V. Deshmukh & Klaus Havelund: NASA Formal Methods
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in …
EPUB
Engels
DRM
€140.64