Поиск
На сайте: 575460 статей, 287811 фото.

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

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

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

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки