International Conference TACS'91, Theoretical aspects of computer software / Proceedings of International Conference TACS'91 ; ed. T. Ito, A. R. Meyer

Theoretical aspects of computer software / Proceedings of International Conference TACS'91 ; ed. T. Ito, A. R. Meyer . - Berlin : Springer-Verlag, 1991 . - X, 770 p. : il. 25 cm . - (Lecture notes in computer science; 526)
3-540-54415-1 (Brochado)

519.6
681.3.06