Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Formal Approaches to Software Testing (vol. # 3395) (Record no. 237607)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 01595nmm a22003735u 4500
001 - Контрольный номер
Контрольное поле vtls000359242
005 - Дата корректировки
Контрольное поле 20210922025019.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 120828s2005 xx j eng d
020 ## - Индекс ISBN
ISBN 9783540318484
035 ## - Системный контрольный номер
Системный контрольный номер to000359242
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
100 1# - Автор
Автор Grabowski, Jens.
9 (RLIN) 324299
245 10 - Заглавие
Заглавие Formal Approaches to Software Testing (vol. # 3395)
Физический носитель Электронный ресурс
Продолж. заглавия 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Ответственность edited by Jens Grabowski, Brian Nielsen.
260 ## - Выходные данные
Место издания Berlin Heidelberg :
Издательство Springer-Verlag GmbH.,
Дата издания 2005
490 10 - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 3395
650 #0 - Тематические рубрики
Основная рубрика Computer Science
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Information systems
9 (RLIN) 303226
650 #0 - Тематические рубрики
Основная рубрика Logic design
9 (RLIN) 306256
650 #0 - Тематические рубрики
Основная рубрика Software engineering
9 (RLIN) 566225
650 14 - Тематические рубрики
Основная рубрика Computer Science
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Management of Computing and Information Systems
9 (RLIN) 303227
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters
9 (RLIN) 303287
650 24 - Тематические рубрики
Основная рубрика Software Engineering
9 (RLIN) 566285
700 1# - Другие авторы
Другие авторы Nielsen, Brian
9 (RLIN) 324300
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer e-books
830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a>
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 237607

No items available.