Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʼ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.).

Author
TACAS ʼ97 (3rd : 1997 : Enschede, Netherlands) [Browse]
Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer, c1997.
Description
x, 431 p. : ill. ; 24 cm.

Details

Subject(s)
Related name
Series
Lecture notes in computer science ; 1217 [More in this series]
Bibliographic references
Includes bibliographical references and index.
ISBN
3540627901 (pbk. : alk. paper)
LCCN
97011043
OCLC
36597761
RCP
N - O
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...