Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st 版 著者: Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theoretical and Practical Aspects of SPIN Model Checking : 9783540482345, 3540482342 および 印刷版のISBNは 9783540664994, 3540664998. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st 版 著者: Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Theoretical and Practical Aspects of SPIN Model Checking : 9783540482345, 3540482342 および 印刷版のISBNは 9783540664994, 3540664998. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。