Research Catalog
Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
- Title
- Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).
- Author
- TACAS 2003 (2003 : Warsaw, Poland)
- Publication
- Berlin ; New York : Springer, c2003.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 03-1011 | Offsite |
Details
- Additional Authors
- Description
- xvi, 604 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2619
- Alternative Title
- TACAS 2003
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 03-1011
- ISBN
- 3540008985 (softcover : alk. paper)
- LCCN
- 2003045501
- OCLC
- 51892959
- Conference
- TACAS 2003 (2003 : Warsaw, Poland)
- Title
- Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).
- Imprint
- Berlin ; New York : Springer, c2003.
- Series
- Lecture notes in computer science, 0302-9743 ; 2619
- Additional Formats
- Also available via the World Wide Web.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Garavel, Hubert, 1963-Hatcliff, John, 1966-ETAPS 2003 (2003 : Warsaw, Poland)
- Research Call Number
- JSE 03-1011