Categorical methods in computer science : with aspects from topology / Hartmut Ehrig ... [et al.],(eds.). - Springer, 1989. - VI, 350 S. : graph. Darst. - Lecture notes in computer science ; 393 .

Includes bibliogr. references.

3540517227 0387517227

კომპიუტერული ტექნოლოგიები ტოპოლოგიური ასპექტები

004