2 options
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings / Holger Hermanns, Jens Palsberg (eds.).
LIBRA QA76.9.S88 T33 2006
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- TACAS (Conference) (12th : 2006 : Vienna, Austria)
- ETAPS (Conference) (9th : 2006 : Vienna, Austria)
- Series:
- Lecture notes in computer science 0302-9743 ; 3920.
- Lecture notes in computer science, 0302-9743 ; 3920
- Language:
- English
- Subjects (All):
- System design--Congresses.
- System design.
- Computer software--Development--Congresses.
- Computer software.
- Computer software--Development.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xvi, 506 pages : illustrations ; 24 cm.
- Other Title:
- TACAS 2006
- ETAPS 2006
- Joint European Conferences on Theory and Practice of Software
- Added title on cover: European Joint Conferences on Theory and Practice of Software
- Place of Publication:
- Berlin ; New York : Springer, 2006.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540330569
- OCLC:
- 65207911
- Publisher Number:
- 9783540330561
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.