Model Checking Software

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783642391767, 3642391761 および 印刷版のISBNは 9783642391750, 3642391753. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783642391767, 3642391761 および 印刷版のISBNは 9783642391750, 3642391753. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。