Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 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 Author:	TACAS (Conference) Barcelona, Spain)
Other Authors:	Jensen, K. (Kurt), 1950-, Podelski, Andreas
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 2004.
Series:	Lecture notes in computer science. 2988.
Subjects:	System design. Computer software > Development > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2988

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