libcats.org
Главная

Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

Обложка книги Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

, , ,
This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: + Formal Methods in Software Development, + Process Algebra, + Timed Automata, + Theories and Applications of Verification, + Distributed Systems Testing, + Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history. Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

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

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

LeGuin, Ursula K - A Woman's Liberation

Автор:
Размер книги: 218 Kb

The Ethics of Environmentally Responsible Health Care

Автор: , Автор:
Категория: Биология, Экология
Размер книги: 8.99 Mb

Metafiction and Metahistory in Contemporary Women's Writing

Автор: , Автор:
Категория: История
Размер книги: 966 Kb

Advances in Immunology Volume 13

Автор: , Автор:
Категория: Наука (общее)
Размер книги: 18.65 Mb

A Cook's Tour: In Search of the Perfect Meal

Автор:
Размер книги: 349 Kb

The Haunting of Alaizabel Cray

Автор:
Категория: fiction
Размер книги: 310 Kb

Summer of the Apocalypse

Автор:
Категория: fiction
Размер книги: 282 Kb