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

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

blank
blank
blank
Красота
blank
Kim M., Chin B., Kang S. — Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001
Kim M., Chin B., Kang S. — Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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



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


Название: Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001

Авторы: Kim M., Chin B., Kang S.

Аннотация:

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference
of FORTE (Formal Description Techniques for Distributed Systems and
Communication Protocols) and PSTV (Protocol Specification, Testing and
Verification) conferences. This year the conference has a new name FORTE
(Formal Techniques for Networked and Distributed Systems). The previous
FORTE began in 1989 and the PSTV conference in 1981. Therefore the new
FORTE conference actually has a long history of 21 years.
The purpose of this conference is to introduce theories and formal
techniques applicable to various engineering stages of networked and
distributed systems and to share applications and experiences of them. This
FORTE 2001 conference proceedings contains 24 refereed papers and 4
invited papers on the subjects. We regret that many good papers submitted
could not be published in this volume due to the lack of space.


Язык: en

Рубрика: Разное/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте