Screen LibraryTools and algorithms for the construction and analysis of systems：8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Berlin New York |
| Publication Dates: | c2002. |
| Literature type: | Musical Score Book |
| Language: | English |
| Series: |
Lecture notes in computer science ; 2280 |
| Subjects: | |
| Carrier Form: | xiii, 482 p.: ill. ; 24 cm. |
| Publication Frequency: | Also available via the World Wide Web. |
| ISBN: | 3540434194 (softcover : alk. paper) |
| Index Number: | TP316 |
| CLC: |
TP316.4-532 TP338.8-532 |
| Call Number: | TP338.8-532/T671/2002 |
| Contents: | Includes bibliographical references and index. |