Introduction to Process Algebra (книга)
| Introduction to Process Algebra | |
| Автор: | Wan Fokkink W. Brauer G. Rozenberg A. Salomaa W. Fokkink |
|---|---|
| Оригинал издан: | ???? |
«Introduction to Process Algebra» — книга ???? года.
Содержание |
Содержание 
От издателя
«Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
