An Introduction to Practical Formal Methods Using Temporal Logic

libcats.org

Главная →

Michael Fisher

Читать «An Introduction to Practical Formal Methods Using Temporal Logic»

Купить электронную версию

fb2 txt rtf epub

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

Розалинд Мак-Найт. Космические путешествия

Автор:

Размер книги: 520 Kb

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

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

Размер книги: 20.83 Mb

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

Размер книги: 3.10 Mb

50 рецептов для аэрогриля

Автор: Е.С. Рзаева

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

Размер книги: 771 Kb

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

Размер книги: 69 Kb

Ключ к сверхсознанию

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 309 Kb

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 818 Kb

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 817 Kb

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

Размер книги: 13.64 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор: Thomas Riggs

Размер книги: 3.18 Mb

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

Евгений Ларин. Отвечает Земля (Фантастический рассказ)

Автор:

Размер книги: 29 Kb

Линейные и нелинейные волны

Автор: Уизем Дж.

Категория: Mathematics, Mathematical physics

Размер книги: 6.69 Mb

Анализ финансовых результатов банковской деятельности

Автор: С.Ю. Буевич, Автор: О.Г. Королёв

Категория: Экономика

Размер книги: 14.76 Mb

Quantum Electronics (The International series of monographs in natural philosophy) (v. 1)

Автор: V.M. Fain, Автор: Ya I. Khanin

Размер книги: 6.47 Mb

Six Arguments for a Greener Diet: How a Plant-based Diet Could Save Your Health and the Environment

Автор: Michael F. Jacobson, Автор: Center For Science In The Public Interest

Категория: cooking_diets

Размер книги: 36.58 Mb

Торты. Большая книга рецептов

Автор: Мэрфитт, Автор: Д.

Размер книги: 88.91 Mb

Protecting Human Security in a Post 9 11 World: Critical and Global Insights

Автор: Giorgio Shani, Автор: Makoto Sato, Автор: Mustapha Kamal Pasha

Категория: Общественные науки прочие, Философия, Критическое мышление

Размер книги: 981 Kb

The Nasdaq Trader's Toolkit

Автор: M. Rogan LaBier

Размер книги: 2.61 Mb

Engineered Concrete Mix Design and Test Methods (Concrete Technology Series)

Автор: Irving Kett

Категория: Техника, Строительство

Размер книги: 2.99 Mb

Italian Battleships of World War II (New Vanguard)

Автор: Mark Stille

Размер книги: 3.24 Mb