Cover Image

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Bibliographic Details
Corporate Authors: FOSSACS (Conference) Genoa, Italy), ETAPS (Conference)
Other Authors: Honsell, Furio, Miculan, Marino
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2001]
Series:Lecture notes in computer science. 2030.
Subjects:
Computer software > Congresses.
System analysis > Congresses.
Description
Item Description:Includes index.
Physical Description:xii, 412 pages : illustrations ; 24 cm.
ISBN:3540418644 (pbk. : alk. paper)
ISSN:0302-9743 ;