Research Catalog
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
- Title
- Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], eds.
- Publication
- Berlin ; New York : Springer, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 96-173 | Offsite |
Details
- Additional Authors
- Brinksma, Ed.
- Description
- 289 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1019
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 96-173
- ISBN
- 3540606300 (softcover : alk. paper)
- LCCN
- 95047444
- OCLC
- 33439667
- Title
- Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], eds.
- Imprint
- Berlin ; New York : Springer, c1995.
- Series
- Lecture notes in computer science ; 1019
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Brinksma, Ed.
- Research Call Number
- JSE 96-173