2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Главная
→
Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
ВКонтакте
Одноклассники
Telegram
Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
Richard J. Boulton
,
Paul B. Jackson
All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS. Softcover.
Скачать книгу бесплатно
(pdf, 2.54 Mb)
Читать «Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001»
EPUB
|
FB2
|
MOBI
|
TXT
|
RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#1
В.Н.Носов. Полупроводники и их применение (1968, djvu)
1.03 Mb
#2
Самодельные детали для сельского радиоприемника
Авторы: З.Б.Гинзбург
,
Ф.И.Тарасов.
Категория:
радиоэлектроника
1.40 Mb
#3
Радиолюбительские конструкции
Вознюк В.В.
1.99 Mb
#4
Английский школьникам. Тренажер по чтению. Буквы и звуки
Е. В. Русинова
12.41 Mb
#5
Детали машин. Краткий курс и тестовые задания
Олофинская В.П.
Категория:
science
,
technical
,
civil
,
engineer
,
civil
,
tech
,
civil
27.33 Mb
#6
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Роман Савин
Категория:
info
,
manual
,
computers
,
computers
,
manuals
5.26 Mb
#7
Путь к здоровью и долголетию
Горен Михаэль
Категория:
Здоровье
1.13 Mb
#8
Система упражнений по развитию способностей человека (Практическое пособие)
Петров Аркадий Наумович
Категория:
Путь к себе
818 Kb
#9
Самоделки школьника
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
41.91 Mb
#10
Электронные схемы и их применение
Сентурия С.
,
Уэдлок Б.
10.14 Mb
Только что пользователи скачали эти книги:
#1
Модернизация и ремонт ПК
Скотт Мюллер
Категория:
Компьютерная литература
,
8 Аппаратное обеспечение
,
Компьютер и перефирийное оборудование
2.97 Mb
#2
Модернизация и ремонт ПК
Скотт Мюллер
35.59 Mb
#3
Модернизация и ремонт ПК. 16 издание
Скотт Мюллер
Категория:
computers
,
os
,
computers
,
iron
30.29 Mb
#4
Модернизация и ремонт ПК
Скотт Мюллер.
Категория:
civil
,
civil
,
hardware
54.58 Mb
#5
Модернизация и ремонт персональных компьютеров
24.95 Mb
#6
Модернизация и ремонт ПК
Скотт Мюллер
1.26 Mb
#7
Модернизация и ремонт ПК
Скотт Мюллер
15.59 Mb
#8
МОДЕРНИЗАЦИЯ И РЕМОНТ ПК
Скотт Мюллер
Категория:
АППАРАТУРА
16.33 Mb
#9
МОДЕРНИЗАЦИЯ И РЕМОНТ ПК. Прил.
Скотт Мюллер
Категория:
computers
,
computers
,
iron
2.54 Mb
#10
Модернизация и ремонт ПК
Скотт Мюллер
Категория:
computers
,
computers
,
iron
58.09 Mb
