Вы здесь

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Стр.: 
P.82-97
Библиография: 
Bibliogr.: p.97
Издательство: 
Том: 
2303
Карточка: 

Б2.1, Б2.2.

Cirstea C..

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability: Springer// Lecture Notes in Computer Science-2002.-Vol. 2303.-P.82-97
Bibliogr.: p.97

Таблица в старой библиотеке: 
PAP24 818