Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.).

Conference Author: FOSSACS 2001 (2001 : Genova, Italy)
Published: Berlin ; New York : Springer, [2001]
Copyright Date: ©2001
Physical Description: xii, 412 pages : illustrations ; 24 cm.
Additional Creators: Honsell, Furio, Miculan, Marino, and International Joint Conference on Theory and Practice of Software Development (2001 : Genova, Italy)

Browse Nearby on Shelf

Finding items...

Series

Subject(s)

ISBN

3540418644 (pbk. : alk. paper)

Bibliography Note

Includes bibliographical references and index.

View MARC record | catkey: 2173518