Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /

Bibliographic Details
Corporate Authors: FOSSACS (Conference) Berlin, Germany), ETAPS (Conference)
Other Authors: Tiuryn, Jerzy
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:Lecture notes in computer science. 1784.
Subjects:
Description
Physical Description:x, 390 pages : illustrations ; 24 cm.
ISBN:3540672575 (softcover : alk. paper)
ISSN:0302-9743 ;