«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?…»

Рецензии

См. также

Ссылки

Book closed template.gif

Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её.