Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

SDL 2013: Model-Driven Dependability Engineering (Record no. 357946)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 03103nam a22006135i 4500
001 - Контрольный номер
Контрольное поле vtls000485052
005 - Дата корректировки
Контрольное поле 20210922070141.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642389115
-- 978-3-642-38911-5
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-38911-5
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000485052
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.9.C643
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс TK5105.5-5105.9
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UT
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM067000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 004.6
Номер издания 23
100 1# - Автор
Автор Khendek, Ferhat.
Роль лиц editor.
9 (RLIN) 318730
245 10 - Заглавие
Заглавие SDL 2013: Model-Driven Dependability Engineering
Физический носитель [electronic resource] :
Продолж. заглавия 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings /
Ответственность edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем XII, 291 p. 138 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 7916
505 0# - Примечание о содержании
Содержание Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
520 ## - Аннотация
Аннотация This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Computer network architectures.
9 (RLIN) 566231
650 #0 - Тематические рубрики
Основная рубрика Computer Communication Networks.
9 (RLIN) 566243
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 #0 - Тематические рубрики
Основная рубрика Information systems.
9 (RLIN) 303226
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Computer Systems Organization and Communication Networks.
9 (RLIN) 566233
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters.
9 (RLIN) 303287
650 24 - Тематические рубрики
Основная рубрика Computer Communication Networks.
9 (RLIN) 566243
650 24 - Тематические рубрики
Основная рубрика Management of Computing and Information Systems.
9 (RLIN) 303227
700 1# - Другие авторы
Другие авторы Toeroe, Maria.
Роль лиц editor.
9 (RLIN) 416614
700 1# - Другие авторы
Другие авторы Gherbi, Abdelouahed.
Роль лиц editor.
9 (RLIN) 416615
700 1# - Другие авторы
Другие авторы Reed, Rick.
Роль лиц editor.
9 (RLIN) 322264
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-LNC
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 357946

No items available.