Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Theoretical Computer Science(Exploring New Frontiers of Theoretical Informatics)
Авторы: Leeuwen J., Watanabe O, Hagiya M.
Proceedings of the International Conference, IFIP TCS 2000, on theoretical computer science, held in Sendai, Japan, August 17-19, 2000. The conference followed two main tracks: Track one on algorithms, complexity, and models of computation, and track two on logic, semantics, specification, and verification. Softcover.