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.