| 000 | 01160nam a2200301 i 4500 | ||
|---|---|---|---|
| 001 | vtls000232611 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922122331.0 | ||
| 008 | 120827s2006 er f bm 000 0 eng d | ||
| 020 | _a9949114365 | ||
| 022 | _a1024-4212 | ||
| 035 | _ato000232611 | ||
| 040 |
_aRU-ToGU _beng _cRU-ToGU |
||
| 080 |
_a004.423(043.3) _23 |
||
| 100 | 1 |
_aNestra, Harmel _9533678 |
|
| 245 | 1 | 0 |
_aIteratively defined transfinite trace semantics and program slicing with respect to them _cHarmel Nestra |
| 260 |
_aTartu _bTartu University Press _c2006 |
||
| 300 |
_a118, [1] p. _bill. |
||
| 490 | 1 | 0 |
_aDissertationes mathematicae Universitatis Tartuensis _v49 |
| 504 | _aBibliogr.: p. 109-110 | ||
| 653 | _aкомпьютерные программы | ||
| 653 | _aсемантика | ||
| 653 | _aдиссертации | ||
| 653 | _aтеория графов. | ||
| 830 |
_aDissertationes mathematicae Universitatis Tartuensis _9114678 |
||
| 852 | 4 |
_aRU-ToGU _nru |
|
| 999 | _c507701 | ||