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月
- ISBN：9783319061993
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2014. 2014. xxvi
- 巻数・ページ数：385 p.