Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems /
Frédéric Geurts.
- Berlin : Springer, 1998.
- XIV, 280 s. ; 24 cm.
- Lecture Notes in Computer Science, 1426 0302-9743 ; .
- Lecture Notes in Computer Science 1426 .
Bibliogr. s. 257-272.
3540655069
Abstrakcyjne typy danych (informatyka). Analiza systemów. Informatyka--techniki strukturalne.