Model Checking Software

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings 1st 版 著者: Alastair Donaldson; David Parker 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783642317590, 3642317596 および 印刷版のISBNは 9783642317583, 3642317588. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings 1st 版 著者: Alastair Donaldson; David Parker 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783642317590, 3642317596 および 印刷版のISBNは 9783642317583, 3642317588. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。