NASA Formal Methods

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 1st 版 著者: Mihaela Bobaru; ‎Klaus Havelund; ‎Gerard Holzmann 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783642203985, 3642203981 および 印刷版のISBNは 9783642203978, 3642203973. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 1st 版 著者: Mihaela Bobaru; ‎Klaus Havelund; ‎Gerard Holzmann 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: NASA Formal Methods : 9783642203985, 3642203981 および 印刷版のISBNは 9783642203978, 3642203973. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。