libcats.org
Главная →

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

Обложка книги Lectures on Formal Methods and Performance Analysis, 1 school, 2000

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

, ,
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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Computer telephony demystified

 Автор:
Размер книги: 7.12 Mb

Математическое программирование

 Автор:
Категория: science, science, exact
Размер книги: 21.49 Mb

Tribochemistry of Lubricating Oils, Volume 45 (Tribology and Interface Engineering)

 Автор:
Категория: Химия
Размер книги: 19.35 Mb

Engineering Mechanics: Statics

 Автор:
Категория: E_Engineering, EM_Mechanics of elastic materials
Размер книги: 13.19 Mb