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

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

[20-08-2019]

Текст

Боевики

Максим Шахов

Визит к олигарху

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

скачать книгу научно-популярная литература

[20-08-2019]

Текст

Научно-популярная литература

Лев Гумилев

От Руси до России

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

Книга выдающегося русского историка и географа Л. Н. Гумилева посвящена истории России от времен Рюрика до правления Петра I, причем все события и поступки исторических лиц объясне...

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

[20-08-2019]

Текст

Прочая образовательная литература

Сергей Кутузов

HomeBudget_интерактив#Антикризис2020

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

Главные герои – среднестатистическая городская семья, лишённые в кризис большей части своих доходов, которых консультирует от первого лица, автор и фин. консультант. «HomeBudget…»...

[20-08-2019]

Текст

Медицина

Сергей Бубновский

Здоровье без лекарств: о чем молчат врачи. Перезагрузка: как повысить качество жизни (сборник)

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

Новый сборник от профессора С. М. Бубновского! В надежде на избавление от болей люди с заболеваниями опорно-двигательного аппарата тратят деньги на дорогостоящие лекарства или реша...

[20-08-2019]

Текст

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

Роман Сергеев

Продай или продадут тебе. Грант Кардон. Обзор

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

[20-08-2019]

Текст

Журнальные издания

Редакция журнала Forbes

Forbes 07-2021

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

Forbes - самый влиятельный независимый деловой журнал в мире. Forbes имеет доступ к первым лицам компаний, их владельцам, политикам и получает информацию от самых осведомленных ист...

[20-08-2019]

Текст

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

Эми Мун

Оборотни Айсвинда. Песня для оборотня

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

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

[20-08-2019]

Текст

Зарубежная драматургия

Gjellerup Karl

Mit Liv og Levned som jeg selv har forstaaet det

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

[20-08-2019]

Текст

Документальная литература

Максим Коломиец

Модернизированные танки «Клим Ворошилов» КВ-1С и КВ-85

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

Новая книга от автора бестселлеров «Танк прорыва КВ» и «Тяжелый танк КВ-2», венчающая трилогию о знаменитых танках «Клим Ворошилов». Всё о модернизированных КВ-1С и КВ-85. В 1941 г...

Новинки!