25 Years of Model Checking. History, Achievements, Perspectives

Цена 47.01 - 81.23 USD

EAN/UPC/ISBN Code 9783540698494
Брэнд Springer
Страниц 248
Год выпуска 2008

Книга "25 Years of Model Checking. History, Achievements, Perspectives".