Model Checking Software

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings 1st 版 著者: Susanne Graf; ‎Laurent Mounier 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783540247326, 3540247327 および 印刷版のISBNは 9783540213147, 3540213147. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings 1st 版 著者: Susanne Graf; ‎Laurent Mounier 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783540247326, 3540247327 および 印刷版のISBNは 9783540213147, 3540213147. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。