Brinksma E., Hermanns H., Katoen J.-P. — Lectures on Formal Methods and Performance Analysis, 1 school, 2000 :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Brinksma E., Hermanns H., Katoen J.-P. — Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Авторы: Brinksma E., Hermanns H., Katoen J.-P.

Аннотация:

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.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 2001

Количество страниц: 437

Добавлена в каталог: 11.11.2021

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

О проекте