Research Catalog
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʼ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
- Title
- 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)
- Publication
- Berlin ; New York : Springer, c1997.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 97-649 | Offsite |
Details
- Additional Authors
- Brinksma, Ed.
- Description
- x, 431 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1217
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 97-649
- ISBN
- 3540627901 (pbk. : alk. paper)
- LCCN
- 97011043
- OCLC
- 36597761
- Conference
- TACAS ʼ97 (3rd : 1997 : Enschede, Netherlands)
- Title
- 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.).
- Imprint
- Berlin ; New York : Springer, c1997.
- Series
- Lecture notes in computer science ; 1217
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Brinksma, Ed.
- Research Call Number
- JSE 97-649