Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

libcats.org

Главная →

Sandeep K. Shukla, Jean-Pierre Talpin

Скачать книгу бесплатно (pdf, 4.21 Mb)

Читать «Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

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

В.Н.Носов. Полупроводники и их применение (1968, djvu)

1.03 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

Радиолюбительские конструкции

Вознюк В.В.

1.99 Mb

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

Английский школьникам. Тренажер по чтению. Буквы и звуки

Е. В. Русинова

12.41 Mb

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Роман Савин

Категория: info, manual, computers, computers, manuals

5.26 Mb

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

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

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

818 Kb

Самоделки школьника

Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

41.91 Mb

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

#10

Тренажер по математике к учебнику Л.Г.Петерсон. 2 класс

МАРКО ПОЛО

Категория: ДЛЯ ДЕТЕЙ, НАУКА и УЧЕБА

173.06 Mb

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

Энциклопедия интенсивного огородничества по Миттлайдеру

Круковер В.

Категория: Сельское, лесное, охотничье и рыбное хозяйство

1.78 Mb

Справочник энергетика угольной шахты

Дзюбан В.С. и др.

9.81 Mb

Атлас анатомии человека

Фрэнк Неттер

Категория: info, encyc, science, human, people, health

373.85 Mb

Кризисы любви. Системная психотерапия Берта Хеллингера

Категория: РАЗНОЕ

1.55 Mb

Global Training and Development (Training & Development)

M. Syrett

732 Kb

Managing Partnership in Teacher Training and Development (Educational Management)

Hazel Bines

Категория: Образование

1.35 Mb

Озеро Селигер (Путеводитель)

Исаков В.З.

Категория: КНИГИ НАУЧНО-ПОПУЛЯРНОЕ

11.27 Mb

Dreaming Divine Dreams (Epub & Mobi)

D. K. Olukoya

Категория: Christian

159 Kb

30 Things Anointing Can Do For You (Epub & Mobi)

D. K. Olukoya

Категория: Christian

268 Kb

#10

Power Against Anti-Breakthrough Powers (Epub & Mobi)

D. K. Olukoya

Категория: Christian

326 Kb