Поиск
На сайте: 567987 статей, 285487 фото.

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

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

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

Содержание

Содержание

От издателя

«Most aspects of our private and social lives?-our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy?…»

Рецензии

См. также

Ссылки