Research Catalog
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barselona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).
- Title
- Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barselona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).
- Author
- TACAS (Conference) (10th : 2004 : Barcelona, Spain) http://id.loc.gov/authorities/names/n2004004724
- Publication
- New York : Springer-Verlag, 2004.
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 2004 | Off-site |
Details
- Additional Authors
- Description
- xiv, 608 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2988
- Uniform Title
- Lecture notes in computer science ; 2988.
- Subjects
- Bibliography (note)
- Inlcudes bibliographical references and index.
- ISBN
- 354021299X (alk. paper)
- LCCN
- 2004046612
- Owning Institutions
- Columbia University Libraries