Foundations of software science and computation structures
Subtitle: 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
By: Mogens Nielsen, Uffe Engberg (eds.)
Contributors: Nielsen, M. 1949-; Engberg, Uffe, 1959-; ETAPS 2002 (2002 : Grenoble, France)
Series: Lecture notes in computer science -- 2303
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 433
Subjects: Computer software -- Congresses; System analysis -- Congresses
Genres: Congresses
Other titles: FOSSACS 2002; ETAPS 2002
Notes: Includes bibliographical references and index

Also available via the World Wide Web