Книги похожие на «Industrial Use of Formal Methods. Formal Verification», Jean-Louis Boulanger

Главная
▶ Jean-Louis Boulanger
✔️ Industrial Use of Formal Methods. Formal Verification
Похожие книги

страницы: 1 2

[13-04-2018]

Текст

Биографии и мемуары

Алексей Аджубей

Я был зятем Хрущева

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

– …Я не писал политическую биографию Хрущева – это занятие для историков. Хорошо, что такая биография при жизни Никиты Сергеевича у нас в стране не появилась – вряд ли она была бы...

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

[13-04-2018]

Текст

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

Эйрена Космос

Месть дракону, или как вернуть истинную

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

– Убери от меня свои лапы! – с яростью смотрю на наглеца, который забрался ко мне в спальню. – Смирись и покорись! Мы истинные! – Нагло улыбается дракон. – И чтобы понять это, тебе...

[13-04-2018]

Текст

Историческая фантастика

Александр Мазин

Варяг

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

Сергей Духарев – бывший десантник – и не думал, что обычная вечеринка с друзьями закончится для него в десятом веке. Русь. В Киеве – князь Игорь. В Полоцке – князь Рог-волт. С севе...

[13-04-2018]

Текст

Книги для подростков

Илона Волынская

Расследование online

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

Новый клиент обратился в агентство «Белый гусь» с необычной просьбой – провести расследование собственной смерти. Правда, чуть позже выяснилось, что убит все-таки не он, а его вирт...

[13-04-2018]

Текст

Сказки

Николай Самойлов

Про портного и его сыновей

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

Портной дал волю своим сыновьям жить как нравится. Думал, что так им легче стать счастливыми. Оказалось, что это не так.

[13-04-2018]

Текст

Научная фантастика

Юрий Яньшин

Внешняя беговая

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

Волею судьбы, заброшенный на самые вершины власти, генерал Афанасьев отбивает нападения врагов со всех фронтов. Вот неймется супостатам никак! В своей ненависти к России они готовы...

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

[13-04-2018]

Текст

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

Наталья Елецкая

Айбала. История повитухи

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

Своим новым романом Наталья Елецкая продолжает поднимать тему гендерных отношений в мусульманской семье, а также освещает трагические события Чернобыльской катастрофы, показанные с...

[13-04-2018]

Текст

Историческая фантастика

Кирилл Берендеев

Пришельцы. Сборник фантастики

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

Что случится, когда исполнятся предсказания фантастов и футурологов, и небеса разверзнутся? Кого встретим мы в этот судьбоносный миг – завоевателей или учителей? Ждет ли голубую пл...

[13-04-2018]

Текст

Мистика

Джейн Корри

Кровные сестры

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

Солнечным утром Элисон, ее сводная сестра Китти и подруга Ванесса отправились в школу. А через час произошла чудовищная автомобильная авария, в которой чудом уцелела Элисон, но пог...

[13-04-2018]

Текст

Русская классика

Алиса Лунина

Письма к Орфею

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

«Я всегда считала чувство благодарности явлением самого высшего порядка. Мне кажется, что способность его испытывать, быть благодарным кому-либо или чему-либо и делает нас людьми....

[13-04-2018]

Текст

Научная фантастика

Алексей Калугин

Закрытый канал

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

Рассказ из сборника "Не сотвори себе врага".

[13-04-2018]

Текст

Мистика

Harry Yasno

Neujahrsgeschenk! Neujahrsgeschenk, das dein Leben vorbestimmt

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

Wie oft werden Neujahrswunsche wahr und Traume werden prophetisch? Es stellt sich heraus, dass es von einigen Faktoren abhangt, wo Zeit und Ort ihre Bedeutung haben. Diese Neujahrs...

[13-04-2018]

Текст

Боевики

Андрей Дорогов

Кто заплатит за грехи

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

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

скачать книгу здоровое и правильное питание

[13-04-2018]

Текст

Здоровое и правильное питание

Галина Гончукова

Как победить вечерний жор? Руководство для тех, кто устал ненавидеть себя за безволие, вечерний или даже ночной жор

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

«В этом стыдно признаваться, но я жру по вечерам. Именно жру, так как под руку попадается самое калорийное: сладости, колбаса, мясо, хлеб с майонезом. Очень часто прихожу в себя, к...

скачать книгу учебники и пособия для вузов

[13-04-2018]

Текст

Учебники и пособия для вузов

Коллектив авторов

Дознание в органах внутренних дел

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

Определены понятие, роль и значение дознания в уголовном судопроизводстве России. Рассмотрены деятельность органа дознания по уголовным делам; особенности и общие условия производс...

[13-04-2018]

Текст

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

Александр Воробьев

Неволшебник

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

Книга представляет собой собрание произведений – рассказов и новелл, – не имеющих прямой сюжетной связи, но образующих единое интуитивное повествование. «Алёша» – новелла о пластил...

[13-04-2018]

Текст

Биология и химия

Наталья Ильина

Удивительная природа. Азия. Выпуск 1. Серия «Удивительное страноведение. Калейдоскоп вопросов»

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

Серия «Удивительное страноведение. Калейдоскоп вопросов» полезна для расширения кругозора и профориентации. Каждая тема в серии рассматривается через 15 вопросов, которые создают и...

[13-04-2018]

Текст

Механика

Таисия Трофимова

Основы физики. Волновая и квантовая оптика. (Бакалавриат). Учебное пособие.

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

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

[13-04-2018]

Текст

Космическая фантастика

Надежда Грэф

Космический биатлон

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

Лунный бег в скафандрах на короткие дистанции? Гольф на Марсе или скалолазание на Венере? Нет, «древние» виды спорта никогда не впечатляли Алекса, атлета из России. С раннего детст...

[13-04-2018]

Текст

Дизайн

Шира Гилл

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

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

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

страницы: 1 2

Новинки!

Все новинки