libcats.org
Главная

Handbook of Process Algebra

Обложка книги Handbook of Process Algebra

Handbook of Process Algebra

, ,
This handbook documents process algebra (a formal description technique for complex computer systems) from its modern inception in the late 1970s to the present. Bergstra and A. Ponse (both of the U. of Amsterdam programming research group) and S.A. Smoka (computer science, State U. of New York present 19 contributions that discuss basic theory, finite-state and infinite-state processes, extensions to process algebra that make it easier to model the kinds of systems that arise in practice, non-interleaving process algebras, and tools and applications.
Популярные книги за неделю:

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Земля Горящих Трав

Автор: , Автор:
Категория: Фэнтези
Размер книги: 1.28 Mb

Computational Structural Engineering

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

The Seasons

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

International HRM: A Cross-Cultural Approach

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