TY  - BOOK
AU  - Geurts,Frédéric
TI  - Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems 
T2  - Lecture Notes in Computer Science,
SN  - 3540655069
PY  - 1998///
CY  - Berlin
PB  - Springer
KW  - Abstrakcyjne typy danych (informatyka)
KW  - kaba
KW  - Analiza systemów
KW  - Informatyka
KW  - techniki strukturalne
N1  - Bibliogr. s. 257-272; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540655060
ER  -