Поиск
На сайте: 567989 статей, 285490 фото.

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

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

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

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки