作者: Anthony Narkawicz

支持

1 电子书 Anthony Narkawicz

Aaron Dutle & Cesar Munoz: NASA Formal Methods
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in th …
EPUB
英语
DRM
€57.42