Nunez M., Maamar Z., Pelayo F. — Applying Formal Methods: Testing, Performance and M-ECommerce, FORTE 2004 :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Nunez M., Maamar Z., Pelayo F. — Applying Formal Methods: Testing, Performance and M-ECommerce, FORTE 2004

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

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

Название: Applying Formal Methods: Testing, Performance and M-ECommerce, FORTE 2004

Авторы: Nunez M., Maamar Z., Pelayo F.

Аннотация:

This volume contains the refereed proceedings of the first edition of three work-shops colocated with the International Conference on Formal Techniques forNetworked and Distributed Systems (FORTE). The workshops took place inToledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with dif-ferent topics related to the application of formal methods

Язык:

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

ed2k: ed2k stats

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

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

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

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

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

О проекте