Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems /
Geurts, Frédéric.
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.
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.