Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012 : proceedings / Cormac Flanagan, Barbara König (Eds.).
| Author/creator | TACAS (Conference) |
| Other author | Flanagan, Cormac. |
| Other author | König, Barbara (Professor of Information Engineering) |
| Other author | ETAPS (Conference) (2012 : Tallinn, Estonia) |
| Format | Electronic |
| Publication Info | Heidelberg : Springer, 2012. |
| Description | xix, 560 pages : illustrations ; 24 cm. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2012 English International |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture notes in computer science, 0302-9743 ; 7214 Lecture notes in computer science. Advanced research in computing and software science (ARCoSS) LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 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 | 2012932744 |
| ISBN | 9783642287558 |
| ISBN | 3642287557 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |