Tools and algorithms for the construction and analysis of systems:11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Berlin |
Publication Dates: | c2005. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 3440 |
Subjects: | |
Carrier Form: | xvii, 585 p.: ill. ; 23 cm. |
Publication Frequency: | Also issued online. |
ISBN: | 3540253335 (soft cover) |
Index Number: | TP316 |
CLC: |
TP316.4-532 TP338.8-532 TP302.1-532 TP311.52-532 |
Call Number: | TP338.8-532/T671/2005 |
Contents: | Includes bibliographical references and index. |