NASA Formal Methods

6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .8430

Herausgegeben von Badger, Julia M. Rozier, Kristin Yvonne

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 04月
装丁：PAP 言語：ENG 版次：2014. 2014. xxvi

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Lecture Notes in Computer Science .11460

Herausgegeben von Badger, Julia M. Rozier, Kristin Yvonne

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. xxi

税込価格：

15,560円

海外在庫あり 通常２～５週間で出荷