- 2 402 202 книги
- Поиск
libcats.org
Lectures on Formal Methods and Performance Analysis, 1 school, 2000
Ed Brinksma, Holger Hermanns, Joost-Pieter KatoenPresents 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»
Читать «Lectures on Formal Methods and Performance Analysis, 1 school, 2000»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Принцип четности
Автор: Гимадеев Станислав РафиковичКатегория: Научная Фантастика
Размер книги: 847 Kb
Компьютерное подполье. Истории о хакинге, безумии и одержимости
Автор: Дрейфус СьюлеттКатегория: Околокомпьютерная литература, Публицистика
Размер книги: 1.10 Mb
Мэри Вирджиния Кэри. Тайна зеркала гоблинов ("Альфред Хичкок и Три сыщика" #21)
Автор:
Размер книги: 178 Kb
Neural Networks and Intellect: Using Model-Based Concepts
Автор: Leonid I. Perlovsky
Размер книги: 1.90 Mb
Экономическая теория: Методические материалы
Автор: Любецкий В.В., Автор: Новикова Е.В., Автор: Фонина Т.Б.Категория: Экономика
Размер книги: 607 Kb
''Start a Business in Maryland, Virginia, or the District of Columbia, 2E'' (Start a Business in Maryland, Virginia, or the District of Columbia)
Автор: James E. Burk, Автор: David T. ShaheenКатегория: Бизнес
Размер книги: 2.63 Mb