25 Years of Model Checking

25 Years of Model Checking: History, Achievements, Perspectives 1st 版 著者: Orna Grumberg; ‎Helmut Veith 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: 25 Years of Model Checking : 9783540698500, 3540698507 および 印刷版のISBNは 9783540698494, 3540698493. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

25 Years of Model Checking: History, Achievements, Perspectives 1st 版 著者: Orna Grumberg; ‎Helmut Veith 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: 25 Years of Model Checking : 9783540698500, 3540698507 および 印刷版のISBNは 9783540698494, 3540698493. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。