Perspectives of System Informatics PSI'96: Proc./Second Intern. Andrei Ershov Memory Conf. Akademgorodok, Novosibirsk, Russia, June 1996

Б1.3, Б2, Б3.

Perspectives of System Informatics PSI'96: Proc./Second Intern. Andrei Ershov Memory Conf. Akademgorodok, Novosibirsk, Russia, June 1996Ed. by Bjorner D., Broy M., Pottosin I. V..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1181.-447 p.-(Lecture Notes in Computer Science).