/LC.GIF&client=easterncarolinaedu)
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.).
| Author/creator | TACAS 2006 |
| Other author | Hermanns, Holger, 1967- |
| Other author | Palsberg, Jens. |
| Other author | ETAPS 2006 (2006 : Vienna, Austria) |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | xvi, 506 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Portion of title | TACAS 2006 |
| Portion of title | ETAPS 2006 |
| Portion of title | Joint European Conferences on Theory and Practice of Software |
| Variant title | Added title on cover: European Joint Conferences on Theory and Practice of Software |
| Series | Lecture notes in computer science, 0302-9743 ; 3920 |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2006922189 |
| ISBN | 3540330569 (pbk.) |
| ISBN | 9783540330561 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |