Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Bibliographic Details
Corporate Authors:	FOSSACS (Conference) Barcelona, Spain), ETAPS (Conference)
Other Authors:	Walukiewicz, Igor
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2004.
Series:	Lecture notes in computer science ; 2987.
Subjects:	Computer software > Congresses. System analysis > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2987

Description
Physical Description:	xiii, 528 pages : illustrations ; 24 cm. Also issued online.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540212981 (alk. paper)
ISSN:	0302-9743 ;