Книги похожие на «Modeling and Verification of Real-time Systems», Nicolas Navet

Главная
▶ Nicolas Navet
✔️ Modeling and Verification of Real-time Systems
Похожие книги

страницы: 1 2 3

[20-08-2019]

Текст

Стихи и поэзия

Александр Досов

Мама

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

Неполное собрание сочинений Досова Александра Рахмановича под псевдонимом Уз Бек, дословный перевод «Сам себе Господин». Состоит из трех самостоятельных, разных по содержанию и жан...

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

[20-08-2019]

Текст

Зарубежные любовные романы

Samantha Hunter

Hot in the City

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

The proof of her desire…Mathematician Della Clark just met the most gorgeous man on a plane. According to her calculations, the odds of meeting Mr. Perfectly Hot are approximately...

[20-08-2019]

Текст

Young adult

Алексей Невтриносов

Сценарий

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

«Сценарий» – история поиска предназначения. Данила как никто уверен в том, что жизнь – это пластмассовая вереница дней, которая однажды должна оборваться. В поисках ответа на вопр...

[20-08-2019]

Текст

Любовное фэнтези

Ирина Романова

Мужья из царства мертвых

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

Мечтала о муже, но меня кинули в загробный мир на обед мёртвым драконам. Обойдутся! Проводник, милый щеночек и плётка-семихвостка помогут мне расчистить путь домой. Только вот выйт...

[20-08-2019]

Текст

Короткие любовные романы

Валентина Кузнецова

Трудно сильным быть всегда

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

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

[20-08-2019]

Текст

Книги о приключениях

Константин Бахарев

Начальник уголовного розыска. Непридуманное

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

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

[20-08-2019]

Текст

Зарубежная психология

Salley Vickers

Dancing Backwards

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

The long-awaited new novel from Salley Vickers, bestselling and much-loved author of Miss Garnet's Angel and The Other Side of You.Violet Hetherington has taken the rash step of jo...

[20-08-2019]

Текст

Менеджмент и кадры

Радмир Ганеев

Отчетность кредитных организаций. Часть 2

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

Учебное пособие представляет синтез исторических и современных научно-теоретических и практических знаний по отчетности кредитных организаций России. Даны основы анализа и аудита о...

[20-08-2019]

Текст

Современные детективы

Наталья Солнцева

Принцесса из Шанхая

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

Как очаровательна эта таинственная девушка из далекого таежного поселка! Она так не похожа на современных москвичек, что мужчины моментально обращают на нее внимание. Стрелы Амура...

[20-08-2019]

Текст

Кулинария

С. Ильичева

Вкусные салаты и закуски

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

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

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

[20-08-2019]

Текст

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

Патрацкая Н.В.

Великий знаток

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

Великий знаток – накрученная повесть, это ирония над ошибкой одного героя произведения, это почтение другому знатоку произведения, это невольное разоблачение главного героя…

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

[20-08-2019]

Текст

Детская познавательная и развивающая литература

Richard Wentk

Getting Started with Raspberry Pi. Program Your Raspberry Pi!

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

A technology book for kids! Do you want to learn how computers work? This book introduces you to the world of computing with the Raspberry Pi – the small, inexpensive, and super-co...

[20-08-2019]

Текст

Зарубежные детективы

Dani Sinclair

D.b. Hayes, Detective

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

RISKY BUSINESSSo what if my two biggest clients were a known mobster and a ten-year-old kid looking for his cat–business was business. Until Brandon Kirkpatrick walked into my life...

[20-08-2019]

Текст

Акушерство и гинекология

Катарина Вестре

280 дней до вашего рождения. Репортаж о том, что вы забыли, находясь в эпицентре событий

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

«280 дней до вашего рождения. Репортаж о том, что вы забыли, находясь в эпицентре событий» рассказывает ИСТОРИЮ О ВАС от зачатия до рождения, от первой клетки до девяти месяцев спу...

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

[20-08-2019]

Текст

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

Amy Cousins

Calling His Bluff

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

Only in Vegas…It has to be Vegas's glitzy, seductive atmosphere that made Sarah Tyler trade her straitlaced persona for that of a cardsharp in a red halter dress and heels. But whe...

скачать книгу личная эффективность / продуктивность

[20-08-2019]

Текст

Личная эффективность / продуктивность

Мария Рамзаева

Краткое содержание «Без ярлыков»

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

Этот текст – сокращенная версия книги «Без ярлыков». Только самое главное: идеи, техники, ключевые цитаты. Жизнь автора книги Морин Шике похожа на непрерывную борьбу с ярлыками, к...

[20-08-2019]

Текст

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

Петр Заспа

Ломаный сентаво. Побег через Атлантику

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

[20-08-2019]

Текст

Мистика

Даниил Сарана

Цветы умирающего поселка

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

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

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

[20-08-2019]

Текст

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

Литагент Юниди-Дана

Организация деятельности судов. Основные нормативно-правовые акты

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

скачать книгу школьные учебники по немецкому языку

[20-08-2019]

Текст

Школьные учебники по немецкому языку

Олег Радченко

Немецкий язык. 7 класс

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

Учебник «Немецкий язык. 7 класс» серии «Вундеркинды Плюс» предназначен для 7 класса общеобразовательных организаций и школ с углублённым изучением немецкого языка. Материал учебник...

страницы: 1 2 3

Новинки!

Все новинки