Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Validation of Evolving Software (Record no. 412576)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 02235nam a22004815i 4500
001 - Контрольный номер
Контрольное поле vtls000557888
005 - Дата корректировки
Контрольное поле 20210922085425.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 170212s2015 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783319106236
-- 978-3-319-10623-6
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-319-10623-6
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000557888
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.758
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UMZ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051230
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1
Номер издания 23
245 10 - Заглавие
Заглавие Validation of Evolving Software
Физический носитель electronic resource
Ответственность edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
260 ## - Выходные данные
Место издания Cham :
Издательство Springer International Publishing :
-- Imprint: Springer,
Дата издания 2015.
300 ## - Физическое описание
Объем VIII, 220 p. 60 illus., 28 illus. in color.
Иллюстрации/тип воспроизводства 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
505 0# - Примечание о содержании
Содержание Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.
520 ## - Аннотация
Аннотация This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Computer logic.
9 (RLIN) 463252
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
700 1# - Другие авторы
Другие авторы Chockler, Hana.
Роль лиц editor.
9 (RLIN) 463253
700 1# - Другие авторы
Другие авторы Kroening, Daniel.
Роль лиц editor.
9 (RLIN) 329404
700 1# - Другие авторы
Другие авторы Mariani, Leonardo.
Роль лиц editor.
9 (RLIN) 463254
700 1# - Другие авторы
Другие авторы Sharygina, Natasha.
Роль лиц editor.
9 (RLIN) 416537
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-319-10623-6">http://dx.doi.org/10.1007/978-3-319-10623-6</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 412576

No items available.