Поиск
На сайте: 619871 статей, 304530 фото.

Mechanizing Proof: Computing, Risk, and Trust (книга)

Mechanizing Proof: Computing, Risk, and Trust
Автор: Donald MacKenzie
Оригинал издан: ????

«Mechanizing Proof: Computing, Risk, and Trust»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки