Mechanizing Proof – Computing, Risk & Trust

Цена 52.00 - 56.41 USD

EAN/UPC/ISBN Code 9780262133937, 9780262133937
Автор
Страниц 434
Год выпуска 2001

Mechanizing Proof – Computing, Risk & Trust