Mechanizing proof: computing, risk, and trust

libcats.org

Главная →

Donald A. MacKenzie

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

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

Каникулы

Бредбери Рэй

13 Kb

Михаил Нестеров. Инстинкт бойца

667 Kb

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

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

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

53.40 Mb

Анализ результатов наблюдений. Разведочный анализ

Тьюки Дж.

17.33 Mb

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

Башняк

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

29.85 Mb

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

Анна Стармер

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

19.58 Mb

Применение UML и шаблонов проектирования

Крэг Ларман

Категория: computer

27.84 Mb

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

Юджин Моник

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

3.37 Mb

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

Жорж Жан

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

46.50 Mb

#10

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

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

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

3.01 Mb

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

С.Бирюков. Устройства на микросхемах (djvu)

2.28 Mb

Конструкции промышленных и сельскохозяйственных зданий и сооружений

Кутухтин Е.Г., Коробков В.А.

Категория: color, architect, civil, building

16.14 Mb

Система автоматизации библиотек ИРБИС. Пакет документов по эксплуатации системы

Категория: Библиотечное дело

1.20 Mb

Дисциплина программирования

Э. Дейкстра

Категория: Компьютерная литература, 12 разное, Основы программирования, алгоритмы, теория

3.25 Mb

Инструкция по комплаесному исследованию исследованию газовых и газоконденсатных пластов и скважин

Зотов, Алиев

Категория: Геология И Изыскания

62.82 Mb

Справочник по буровзрывным работам

Друкованый М. Ф., Дубнов Л., Миндели Э. О.

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

8.50 Mb

1С: Предприятие 8.2. Практическое пособие разработчика. Примеры и типовые приемы (+ CD)

Радченко М.Г., Хрусталева Е.Ю.

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

56.65 Mb

Животные в картинках

Бомонт Эмили

Категория: Children

49.64 Mb

Монтаж: телевидение, кино, видео

А.Г. Соколов

Категория: ФОТО-ВИДЕО

12.26 Mb

#10

Настольная книга садовода

П. И. Лаврик, Н. А. Рыбицкий, И. С. Гаврилов

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

11.36 Mb