Verified software theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / Ernie Cohen, Andrey Rybalchenko (eds.).
| Author/creator | VSTTE (Conference) |
| Other author | Cohen, Ernie. |
| Other author | Rybalchenko, Andrey. |
| Format | Electronic |
| Publication Info | Heidelberg ; New York : Springer, [2014] |
| Description | xvi, 345 pages : illustrations ; 24 cm |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2014 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 |
| Portion of title | VSTTE 2013 |
| Series | Lecture notes in computer science ; 8164 LNCS sublibrary. SL 2, Programming and software engineering |
| Partial contents | Classifying and solving horn clauses for verification / Philipp Rümmer, Hossein Hojjat, Viktor Kuncak -- Static analysis of programs with imprecise probabilistic imputs / Assale Adje [and 4 others]. |
| 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 | 2013957812 |
| ISBN | 9783642541070 (paperback : alkaline paper) |
| ISBN | 3642541070 (paperback : alkaline paper) |
| ISBN | (ebook) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |