Research Catalog
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practices of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
- Title
- Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practices of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings / Susanne Graf, Michael Schartzbach (eds.).
- Author
- TACAS (Conference) (6th : 2000 : Berlin, Germany)
- Publication
- Berlin ; New York : Springer, 2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.S88 T33 2000 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xiv, 552 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1785
- Uniform Title
- Lecture notes in computer science ; 1785.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 3540672826 (softcover : alk. paper)
- LCCN
- 00029648
- OCLC
- ocm43662175
- Owning Institutions
- Columbia University Libraries