Foundations of Software Science and Computation Structures: Proc./Third Intern. Conf., FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000

Б2.11, Б2.2, Б3.2, Б3.1.

Foundations of Software Science and Computation Structures: Proc./Third Intern. Conf., FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000Ed. by Tiuryn J..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1784.-391 p.-(Lecture Notes in Computer Science).