Iteratively defined transfinite trace semantics and program slicing with respect to them
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tartu
Tartu University Press
2006
|
| Series: | Dissertationes mathematicae Universitatis Tartuensis
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |
| Physical Description: | 118, [1] p. ill. |
|---|---|
| Bibliography: | Bibliogr.: p. 109-110 |
| ISBN: | 9949114365 |
| ISSN: | 1024-4212 |