/LC.GIF&client=easterncarolinaedu)
Tools and algorithms for the construction and analysis of systems 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.).
| Author/creator | TACAS 2008 |
| Other author | Ramakrishnan, C. R. |
| Other author | Rehof, Jakob. |
| Other author | ETAPS 2008 (2008 : Budapest, Hungary) |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | xvi, 518 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| 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 2008 |
| Series | Lecture notes in computer science ; 4963 |
| 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 | 2008923178 |
| ISBN | 9783540787990 (softcover : alk. paper) |
| ISBN | 3540787992 (softcover : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |