Model Checking Software

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 1st 版 著者: Thomas Ball; ‎Sriram K. Rajamani 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783540448297, 3540448292 および 印刷版のISBNは 9783540401179, 3540401172. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 1st 版 著者: Thomas Ball; ‎Sriram K. Rajamani 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783540448297, 3540448292 および 印刷版のISBNは 9783540401179, 3540401172. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。