Principles of the Spin Model Checker

Principles of the Spin Model Checker 著者: Mordechai Ben-Ari 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Principles of the Spin Model Checker : 9781846287701, 1846287707 および 印刷版のISBNは 9781846287695, 1846287693. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Principles of the Spin Model Checker 著者: Mordechai Ben-Ari 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Principles of the Spin Model Checker : 9781846287701, 1846287707 および 印刷版のISBNは 9781846287695, 1846287693. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。