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 Книга «Introduction to Process Algebra (Texts in Theoretical Computer Science)» авторов Wan Fokkink, A. Salomaa, G. Rozenberg, W. Brauer, W. Fokkink оценена посетителями КнигоГид, и её читательский рейтинг составил 8.00 из 10.Для бесплатного просмотра п...
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 Книга «Introduction to Process Algebra (Texts in Theoretical Computer Science)» авторов Wan Fokkink, A. Salomaa, G. Rozenberg, W. Brauer, W. Fokkink оценена посетителями КнигоГид, и её читательский рейтинг составил 8.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
Рецензии на книгу
Написано 0 рецензий