libcats.org

Главная →

Specification and proof in real-time CSP

Specification and proof in real-time CSP

Jim Davies

Читать «Specification and proof in real-time CSP»

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

fb2 txt rtf epub

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

#1

Каникулы

Бредбери Рэй

13 Kb

#2

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

Косицкий

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

85.34 Mb

#3

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

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

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

53.40 Mb

#4

Анализ результатов наблюдений. Разведочный анализ

Тьюки Дж.

17.33 Mb

#5

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

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

29.85 Mb

#6

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

Анна Стармер

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

19.58 Mb

#7

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

Юджин Моник

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

3.37 Mb

#8

ЯМА. Как научиться выбираться и стать победителем.

Сет Годин

Категория: money, people, develop

28.19 Mb

#9

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

Жорж Жан

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

46.50 Mb

#10

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

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

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

3.01 Mb

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

#1

Котельные установки и их эксплуатация

Соколов Б.А.

4.79 Mb

#2

Microsoft SQL Server 2000. Наиболее полное руководство

Категория: Компьютерная литература, 3 БД, SQL - Server

145.87 Mb

#3

Космические системы дистанционного зондирования Земли

Категория: География геология геодезия монография

13.81 Mb

#4

Спутниковая связь и вещание: Справочник

Кантор Л. Я.

Категория: Электроника радио Электроника и связь

38.88 Mb

#5

Губернаторы и генерал-губернаторы Российской империи (XVIII - начало XX века).

Л.М. Лысенко

Категория: info, guide, society, history

36.46 Mb

#6

Женские украшения казанских татар середины XIX – начала XX в.

С.В. Суслова

Категория: История

10.44 Mb

#7

Материалы по изучению гиляцкого языка и фольклора. Эпос

Штернберг Л.Я.

Категория: История

12.96 Mb

#8

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

Жорж Жан

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

46.50 Mb

#9

Пространство, время и тяготение

А. Эддингтон

Категория: Физика, Теория относительности

6.24 Mb

#10

Элементарная геометрия. Книга для учителя

Болтянский В.Г.

Категория: M_Mathematics, MSch_School-level

4.46 Mb