- 2 402 202 книги
- Поиск
libcats.org
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
ПЛИС фирмы ALTERA: элементная база, система проектирования и языки описания аппаратуры
Автор: коллектив
Размер книги: 3.56 Mb
Marvel Illustrated presents James Fenimore Cooper's The Last of the Mohicans #3
Автор: Roy Thomas, Автор: Steve Kurth
Размер книги: 13.89 Mb
Projektmanagement im Hochbau: 35 Jahre Innovationen bei Drees & Sommer (German Edition)
Автор: Hans Sommer
Размер книги: 7.62 Mb
Private and Civil Law in the Russian Federation (Law in Eastern Europe)
Автор: William SimonsКатегория: Юридические науки, Право
Размер книги: 7.97 Mb
The Enlightened Judgments: Ch'Ing-Ming Chi : The Sung Dynasty Collection (S U N Y Series in Chinese Philosophy and Culture)
Автор: Brian E. McKnight, Автор: Brian E. McKnight, Автор: James T. C. LiuКатегория: Общественные науки прочие, Философия
Размер книги: 2.27 Mb
States and the Reemergence of Global Finance: From Bretton Woods to the 1990s
Автор: Eric HelleinerКатегория: Наука (общее), Научно-популярное
Размер книги: 11.78 Mb
The Filioque: History of a Doctrinal Controversy (Oxford Studies in Historical Theology)
Автор: A. Edward Siecienski
Размер книги: 11.00 Mb
