NASA Formal Methods

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings 1st 版 著者: Alwyn Goodloe; ‎Suzette Person 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783642288913, 364228891X および 印刷版のISBNは 9783642288906, 3642288901. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings 1st 版 著者: Alwyn Goodloe; ‎Suzette Person 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783642288913, 364228891X および 印刷版のISBNは 9783642288906, 3642288901. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。