Normal view
MARC view
Iteratively defined transfinite trace semantics and program slicing with respect to them Harmel Nestra
Material type:
TextSeries: Dissertationes mathematicae Universitatis TartuensisPublication details: Tartu Tartu University Press 2006Description: 118, [1] p. illISBN: 9949114365ISSN: 1024-4212Subject(s): компьютерные программы | семантика | диссертации | теория графов
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-948800к (Browse shelf (Opens below)) | Available | 13820000576812 |
Bibliogr.: p. 109-110
There are no comments on this title.