Cover is for reference only

Tools and algorithms for the construction and analysis of systems：second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1996 Passau, Germany)
Group Author: Steffen Bernhard; Margaria Tiziana
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1996.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1055
Subjects:
Computer software > Development > Congresses
Electronic data processing > Distributed processing > Congress
System design > Congresses
Carrier Form: xi, 434 p.: ill. ; 24 cm.
ISBN: 3540610421 (softcover : alk. paper)
Index Number: TP338
CLC: TP338.8-532
TP316.4-532
Call Number: TP338.8-532/T671/1996/
Contents: Includes bibliographical references and index.

Related Book Recommendations