1 द्वारा ईबुक Susmit Jha
Dimitra Giannakopoulou & Susmit Jha: NASA Formal Methods
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in th …
EPUB
अंग्रेज़ी
DRM
€83.70
