Cover is for reference only

Tools and algorithms for the construction and analysis of systems：5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: European Conferences on Theory and Practice of Software (1999 Amsterdam, Netherlands) (Amsterdam, Netherlands)); TACAS '99 (1999 Amsterdam, Netherlands) (Amsterdam, Netherlands))
Group Author: Cleaveland W. R.; (Walter Rance), 1961-
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1999.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1579
Subjects:
System design
Computer software > Development.
Carrier Form: xi, 443 p.: ill. ; 24 cm.
ISBN: 3540657037 (acid-free paper)
Index Number: TP338
CLC: TP338.8-532
TP316.4-532
Call Number: TP338.8-532/T671/1999/
Contents: Includes bibliographical references and index.

Related Book Recommendations