Книги похожие на «An Introduction to Practical Formal Methods Using Temporal Logic», Michael Fisher

Главная
▶ Michael Fisher
✔️ An Introduction to Practical Formal Methods Using Temporal Logic
Похожие книги

[20-08-2019]

Текст

Терминологические словари

Марина Батюшкина

Словарь терминов российского законодательства. Более 6 000 терминов

(0 из 5) [ оценок]

Предлагаемое издание подготовлено на основе исследования российских законов, принятых в период с 1991 по 2022 годы. Словарные статьи (более 6000 терминов и определений) отражают сл...

[20-08-2019]

Текст

Практическая эзотерика

Колин Типпинг

Карма и Радикальное Прощение. Пробуждение к знанию о том, кто ты есть

(0 из 5) [ оценок]

Каждое событие твоей жизни является составной частью тщательно продуманного и согласованного с тобой плана. Ты узнаешь, что заранее договорился с некоторыми душами, чтобы они предо...

[20-08-2019]

Текст

Сказки

Международная Народ

Большая книга о Бабе-Яге

(0 из 5) [ оценок]

Баба-Яга – костяная нога… Кто не знает эту героиню многих русских народных сказок, которая живет в лесу, в избушке на курьих ножках, и летает по свету в ступе, заметая свой след по...

[20-08-2019]

Текст

Гражданское право

Андрей Рыжик

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

(0 из 5) [ оценок]

В монографии содержится теоретико-прикладной анализ институционализации интересов собственников в современном гражданском праве, а также основы целостной теории интересов собственн...

скачать книгу современная зарубежная литература

[20-08-2019]

Текст

Современная зарубежная литература

Glynna Kaye

Claiming The Single Mom's Heart

(0 из 5) [ оценок]

Their Unexpected LoveSunshine Carston is looking for more than beautiful scenery when she moves with her daughter to Hunter Ridge, Arizona. She's looking for answers.According to f...

[20-08-2019]

Текст

Зарубежное фэнтези

Марк Стэй

Вороний народ

(0 из 5) [ оценок]

Фэй Брайт всегда чувствовала, что отличается от других людей. Случайно обнаружив дневник своей покойной мамы, она наконец поняла причину этого чувства. Помимо рецепта пудинга с вар...

[20-08-2019]

Текст

Руководства

Ольга Врублевская

Позирование как элемент фотографии

(0 из 5) [ оценок]

Методическое пособие по фотографии.

[20-08-2019]

Текст

Исторические приключения

Уинифред Уотсон

Один день мисс Петтигрю

(5 из 5) [2 оценок]

Мисс Петтигрю, дочь викария и скромная гувернантка, оставшаяся без работы, устраивается на службу к молодой актрисе и сразу попадает в светское общество Лондона 1930-х годов: роско...

скачать книгу современные любовные романы

[20-08-2019]

Текст

Современные любовные романы

Tanya Kruta

Меняя мужчин

(0 из 5) [ оценок]

Tanya Kruta - не просто автор с хорошей фантазией. Она умеет задать историю любой частице воспоминаний. Роман навеян правдивой историей. Фэшн-блогер Каролина знает как набросит...

[20-08-2019]

Текст

Книги про волшебников

Марина Эльденберт

Поющая для дракона

(5 из 5) [2 оценок]

Студия АРДИС предлагает вашему вниманию аудиокнигу «Поющая для дракона» российской писательницы Марины Эльденберт. В мире, где небо пронзают иглы небоскребов из огнеупорной стали,...

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

[20-08-2019]

Текст

Современная русская литература

Вячеслав Заренков

Российско-финская граница

(0 из 5) [ оценок]

Геннадий Нечаев, заядлый грибник, собрался с друзьями в лес в район Выборга, недалеко от финской границы. Настроение было отличное, погода прекрасная, да еще и места в электричке н...