1 option
Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Bernhard Steffen, (ed.).
LIBRA QA76.9.S88 T33 1998
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- TACAS (Conference) (4th : 1998 : Lisbon, Portugal)
- European Conferences on Theory and Practice of Software (1998 : Lisbon, Portugal)
- Series:
- Lecture notes in computer science ; 1384.
- Lecture notes in computer science ; 1384
- 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:
- xiii, 455 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, 1998.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540643567
- OCLC:
- 187467913
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.