Lectures on Formal Methods and Performance Analysis, 1 school, 2000

libcats.org

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Presents the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems. Revised lectures. Softcover.

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

Читать «Lectures on Formal Methods and Performance Analysis, 1 school, 2000»

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

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

Торговец и попугай. (Восточные истории и психотерапия).

Пезешкян Носсрат

Категория: Психология

311 Kb

Роберт Джордайн. Справочное пособие программиста (ассемблер, операционная система MS DOS)

374 Kb

Адриан Романовский. Верность (Роман) (WinWord)

1.88 Mb

Улучшенный ручной ткацiй станокъ

Составилъ И.В.Левинскiй

Категория: производства легкой промышленности, домоводство

978 Kb

Памятка шофера по уходу за автомобилем. С 2 чертежами. Ананьев

9.82 Mb

Тибетская экспедиция СС

Васильченко А.

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

19.59 Mb

LADA KALINA ВАЗ 11183 11193. Лада Калина

Колектив

Категория: ТЕХНИКА

257.72 Mb

Справочник для изобретателя и рационализатора

Аникин Н.А. и др.

14.08 Mb

Строение и анализ изломов металлов

Фридман Я.Б. и др.

5.62 Mb

#10

Металлические конструкции.

Под ред. Кудишина Ю.И.

18.63 Mb