libcats.org

Главная →

Mechanizing proof: computing, risk, and trust

Mechanizing proof: computing, risk, and trust

Donald A. MacKenzie

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.

Популярные книги за неделю:

#1

Каникулы

Бредбери Рэй

13 Kb

#2

Изделие 2А42. Инструкция по эксплуатации. 2А42.00.000 Инструкция по эксплуатации

Категория: Военная техника

3.41 Mb

#3

Физиология человека

Косицкий

Категория: Медицина, Физиология

85.34 Mb

#4

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

#5

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

#6

Мануальная Терапия живота

Категория: 1641060-Мануальная терапия

29.85 Mb

#7

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

#8

Фаллос. Священный мужской образ

Юджин Моник

Категория: НАУЧНО-ПОПУЛЯРНОЕ, ЧЕЛОВЕК

3.37 Mb

#9

Знаки и символы. Энциклопедия

Жорж Жан

Категория: НАУЧНО-ПОПУЛЯРНОЕ

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

Только что пользователи скачали эти книги:

#1

Психотехнологии

Смирнов И., Безносюк Е., Журавлёв А.

1.32 Mb

#2

5 вечеров с микрокалькулятором

Данилов И.Д., Славин Г.В.

1.69 Mb

#3

Художественное конструирование мебели

Белов А.А., Янов В.В.

6.25 Mb

#4

Монеты Украины. 1992-2008 Каталог

Загреба Максим

Категория: hobby, hobby, collection

81.08 Mb

#5

Психологический анализ в среде Excel

Сапегин А.Г.

Категория: science, science, human

2.46 Mb

#6

Каталог разновидностей юбилейных и памятных монет Украины

Артемов П.

Категория: Нумизматика, каталоги

44.84 Mb

#7

Монеты Украины 1992-2006 гг

Категория: Нумизматика, каталоги

41.17 Mb

#8

Лакокрасочные материалы

Лифшиц М.Л., Пшиялковский Б.И.

Категория: НАУКА и УЧЕБА, ПРОФЕССИИ И РЕМЕСЛА

41.06 Mb

#9

Техники гештальт-терапии на каждый день. Рискните быть живым

Яро Старак, Тони Кей, Джеймс Олдхейм

Категория: people, health, people, develop

1.11 Mb

#10

Ненависть, спрессованная в тол

Зевелев А.И., Курлат Ф.Л., Казицкий А.С.

Категория: ВОЕННАЯ ИСТОРИЯ, ИСТОРИЯ

3.84 Mb