Поиск
На сайте: 659430 статей, 308245 фото.

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

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

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

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки