|
|
|
|
| LEADER |
01389nam a2200325 i 4500 |
| 001 |
vtls000232611 |
| 003 |
RU-ToGU |
| 005 |
20210922122331.0 |
| 008 |
120827s2006 er f bm 000 0 eng d |
| 020 |
|
|
|a 9949114365
|
| 022 |
|
|
|a 1024-4212
|
| 035 |
|
|
|a to000232611
|
| 039 |
|
9 |
|a 201208271412
|c 200804101330
|d cat07
|y 200706271632
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b eng
|c RU-ToGU
|
| 080 |
|
|
|a 004.423(043.3)
|2 3
|
| 100 |
1 |
|
|a Nestra, Harmel
|9 533678
|
| 245 |
1 |
0 |
|a Iteratively defined transfinite trace semantics and program slicing with respect to them
|c Harmel Nestra
|
| 260 |
|
|
|a Tartu
|b Tartu University Press
|c 2006
|9 701500
|
| 300 |
|
|
|a 118, [1] p.
|b ill.
|
| 490 |
1 |
0 |
|a Dissertationes mathematicae Universitatis Tartuensis
|v 49
|
| 504 |
|
|
|a Bibliogr.: p. 109-110
|
| 653 |
|
|
|a компьютерные программы
|
| 653 |
|
|
|a семантика
|
| 653 |
|
|
|a диссертации
|
| 653 |
|
|
|a теория графов.
|
| 830 |
|
|
|a Dissertationes mathematicae Universitatis Tartuensis
|9 114678
|
| 852 |
4 |
|
|a RU-ToGU
|n ru
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=507701
|
| 999 |
|
|
|c 507701
|d 507701
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1948800К
|7 0
|9 744597
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2021-04-05
|g 140.00
|l 0
|o 1-948800к
|p 13820000576812
|r 2021-04-05
|w 2021-04-05
|y 1
|
