Perspectives of System Informatics: Proc./4th Intern. A.Ershov Memorial Conf., PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2001

Б2, Б3.

Perspectives of System Informatics: Proc./4th Intern. A.Ershov Memorial Conf., PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2001Ed. by Bjorner D., Broy M., Zamulin A. V..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2244.-548 p.-(Lecture Notes in Computer Science).