Model Checking Software

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 1st 版 著者: Antti Valmari 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783540331032, 3540331034 および 印刷版のISBNは 9783540331025, 3540331026. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 1st 版 著者: Antti Valmari 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783540331032, 3540331034 および 印刷版のISBNは 9783540331025, 3540331026. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。