Normal view
MARC view
Iteratively defined transfinite trace semantics and program slicing with respect to them (Record no. 507701)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 01160nam a2200301 i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000232611 |
005 - Дата корректировки | |
Контрольное поле | 20210922122331.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 120827s2006 er f bm 000 0 eng d |
020 ## - Индекс ISBN | |
ISBN | 9949114365 |
022 ## - Индекс ISSN | |
ISSN | 1024-4212 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000232611 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | eng |
Служба, преобразующая запись | RU-ToGU |
080 ## - Индекс УДК | |
Индекс УДК | 004.423(043.3) |
Идентификатор издания | 3 |
100 1# - Автор | |
Автор | Nestra, Harmel |
9 (RLIN) | 533678 |
245 10 - Заглавие | |
Заглавие | Iteratively defined transfinite trace semantics and program slicing with respect to them |
Ответственность | Harmel Nestra |
260 ## - Выходные данные | |
Место издания | Tartu |
Издательство | Tartu University Press |
Дата издания | 2006 |
300 ## - Физическое описание | |
Объем | 118, [1] p. |
Иллюстрации/тип воспроизводства | ill. |
490 10 - Серия | |
Заглавие серии | Dissertationes mathematicae Universitatis Tartuensis |
№ тома | 49 |
504 ## - Библиография | |
Библиография | Bibliogr.: p. 109-110 |
653 ## - Ключевые слова | |
Ключевые слова | компьютерные программы |
653 ## - Ключевые слова | |
Ключевые слова | семантика |
653 ## - Ключевые слова | |
Ключевые слова | диссертации |
653 ## - Ключевые слова | |
Ключевые слова | теория графов. |
830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Dissertationes mathematicae Universitatis Tartuensis |
9 (RLIN) | 114678 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Код страны | ru |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 507701 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 05/04/2021 | 140.00 | 1-948800к | 13820000576812 | Выдается в читальный зал |