Опис документа:
| |
Шифр: |
51 |
Авт. знак: |
Nest |
Автор: | Nestra H. |
Назва: | Iteratively defined transfinite trace semantics and program slicing with respect to them |
Серія: |
Dissertationes mathematicae Universitatis Tartuensis |
Номер випуску серії: |
49 |
Відповідальність: |
Harmel Nestra |
Видавництво: | Tartu university press |
Місто: | Tartu |
Рік: | 2006 |
Сторінок: | 119 p. |
ББК: |
В183.4 |
ISBN: | 9949-11-436-5 |
Тип документу: |
Книга |
Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
Пошук: заповніть хоча б одне з полів
|
|