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: | Перейти в каталог НБ ТГУ |
Internet
Перейти в каталог НБ ТГУНаучная библиотека ТГУ: Книгохранилище
| Call Number: |
1-948800к |
|---|---|
| Available Place a Hold |