Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: TACAS 2004 (2004 Barcelona, Spain)
Group Author: Jensen K.; (Kurt), 1950-; Podelski Andreas.
Published: Springer-Verlag,
Publisher Address: Berlin New York
Publication Dates: c2004.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 2988
Subjects:
System design
Computer software > Development.
Carrier Form: xiv, 608 p.: ill. ; 24 cm.
ISBN: 354021299X (alk. paper)
Index Number: TP338
CLC: TP338.8-532
TP316.4-532
Call Number: TP338.8-532/T671/2004
Contents: Includes bibliographical references and index.

Related Book Recommendations