libcats.org

Главная →

Formal methods for embedded distributed systems: how to master the complexity

Formal methods for embedded distributed systems: how to master the complexity

Fabrice Kordon, Michel Lemoine

Читать «Formal methods for embedded distributed systems: how to master the complexity »

Купить электронную версию

fb2 txt rtf epub

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

#1

Каникулы

Бредбери Рэй

13 Kb

#2

Изделие 2А42. Инструкция по эксплуатации. 2А42.00.000 Инструкция по эксплуатации

Категория: Военная техника

3.41 Mb

#3

Физиология человека

Косицкий

Категория: Медицина, Физиология

85.34 Mb

#4

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

#5

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

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

57.35 Mb

#6

Мануальная Терапия живота

Категория: 1641060-Мануальная терапия

29.85 Mb

#7

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

#8

Фаллос. Священный мужской образ

Юджин Моник

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

3.37 Mb

#9

Знаки и символы. Энциклопедия

Жорж Жан

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

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

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

#1

Empire V

Пелевин Виктор

Категория: Социально-психологическая фантастика

794 Kb

#2

Месть Мафии

Картер Ник

Категория: Классический детектив

153 Kb

#3

Бессмертие мафии - 1962-1992

Раззаков Федор

Категория: Русская классическая проза

16 Kb

#4

Основы магнитного резонанса

Дзюба

Категория: Химия, Физико-химические методы

4.74 Mb

#5

Пособие командиру и бойцу стрелкового отделения

Категория: Военная техника

2.95 Mb

#6

Всё о винограде

Соломонов C.C.

Категория: ХОББИ и РЕМЕСЛА

42.34 Mb

#7

Камо грядеши, Вавилон?

Составитель В. И. Кремень

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

3.95 Mb

#8

Фантазия или наука: на пути к искусственному интеллекту

Поспелов Д.А.

Категория: Computer science

3.82 Mb

#9

Свами Вивекананда - РАДЖА-ЙОГА/

412 Kb

#10

Ужас "карманных" линкоров. Линейные крейсера "Ринаун" и "Рипалс"

Владимир Кофман, Александр Дашьян

Категория: civil, tech, society, military

25.41 Mb