Издательство MIT Press

Список источников > Нехудожественная литература > Научная и техническая литература > Академическая литература зарубежных издательств > Издательство Wiley > Издательство MIT Press

Mechanizing Proof – Computing, Risk & Trust
Автор: Donald Mackenzie
Год: 2001
Издание: Москва
Страниц: 434
ISBN: 9780262133937
Mechanizing Proof – Computing, Risk & Trust
Добавлено: 2017-05-26 13:03:53

Похожие книги

Источник: Donald Mackenzie, Mechanizing Proof – Computing, Risk & Trust Donald MackenzieMechanizing Proof – Computing, Risk & Trust Источник: Donald MacKenzie, Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) Donald MacKenzieMechanizing Proof: Computing, Risk, and Trust (Inside Technology) Источник: GM WARD, Ward: Managing ?computer? Risk – A Guide For The Policymaker (prev.managing Microcomput) GM WARDWard: Managing ?computer? Risk – A Guide For The Policymaker (prev.managing Microcomput)

Видео о книгах: