Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Automated Technology for Verification and Analysis (Record no. 241019)

000 -Маркер записи
Контрольное поле постоянной длины 02809nmm a22006255u 4500
001 - Контрольный номер
Контрольное поле vtls000364366
005 - Дата корректировки
Контрольное поле 20210922030049.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 120829s2008 xx j eng d
020 ## - Индекс ISBN
ISBN 9783540883876
035 ## - Системный контрольный номер
Системный контрольный номер to000364366
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
100 1# - Автор
Автор Hutchison, David.
9 (RLIN) 81687
245 10 - Заглавие
Заглавие Automated Technology for Verification and Analysis
Физический носитель Электронный ресурс
Продолж. заглавия 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
Ответственность edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg,
Дата издания 2008.
490 10 - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 5311
650 #0 - Тематические рубрики
Основная рубрика Computer Communication Networks
9 (RLIN) 566243
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 - Тематические рубрики
Основная рубрика Computer Communication Networks
9 (RLIN) 566243
650 24 - Тематические рубрики
Основная рубрика Information Systems and Communication Service
9 (RLIN) 304271
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters
9 (RLIN) 303287
650 24 - Тематические рубрики
Основная рубрика Software Engineering
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Special Purpose and Application-Based Systems
9 (RLIN) 304104
700 1# - Другие авторы
Другие авторы Cha, Sungdeok (Steve).
9 (RLIN) 330798
700 1# - Другие авторы
Другие авторы Choi, Jin-Young.
9 (RLIN) 330799
700 1# - Другие авторы
Другие авторы Kanade, Takeo.
9 (RLIN) 81641
700 1# - Другие авторы
Другие авторы Kim, Moonzoo.
9 (RLIN) 330800
700 1# - Другие авторы
Другие авторы Kittler, Josef.
9 (RLIN) 81663
700 1# - Другие авторы
Другие авторы Kleinberg, Jon M.
9 (RLIN) 325290
700 1# - Другие авторы
Другие авторы Lee, Insup.
9 (RLIN) 330801
700 1# - Другие авторы
Другие авторы Mattern, Friedemann.
9 (RLIN) 324294
700 1# - Другие авторы
Другие авторы Mitchell, John C.
9 (RLIN) 325291
700 1# - Другие авторы
Другие авторы Naor, Moni.
9 (RLIN) 81688
700 1# - Другие авторы
Другие авторы Nierstrasz, Oscar.
9 (RLIN) 320138
700 1# - Другие авторы
Другие авторы Pandu Rangan, C.
9 (RLIN) 325292
700 1# - Другие авторы
Другие авторы Steffen, Bernhard.
9 (RLIN) 325293
700 1# - Другие авторы
Другие авторы Sudan, Madhu.
9 (RLIN) 81689
700 1# - Другие авторы
Другие авторы Terzopoulos, Demetri.
9 (RLIN) 81690
700 1# - Другие авторы
Другие авторы Tygar, Doug.
9 (RLIN) 81691
700 1# - Другие авторы
Другие авторы Vardi, Moshe Y.
9 (RLIN) 319449
700 1# - Другие авторы
Другие авторы Viswanathan, Mahesh.
9 (RLIN) 330802
700 1# - Другие авторы
Другие авторы Weikum, Gerhard.
9 (RLIN) 81692
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a>
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 241019

No items available.