Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Formal Methods: Foundations and Applications (Record no. 356983)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 02456nam a22004575i 4500
001 - Контрольный номер
Контрольное поле vtls000485367
005 - Дата корректировки
Контрольное поле 20210922065843.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642410710
-- 978-3-642-41071-0
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-41071-0
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000485367
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA75.5-76.95
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UY
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM014000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 004
Номер издания 23
100 1# - Автор
Автор Iyoda, Juliano.
Роль лиц editor.
9 (RLIN) 414908
245 10 - Заглавие
Заглавие Formal Methods: Foundations and Applications
Физический носитель [electronic resource] :
Продолж. заглавия 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings /
Ответственность edited by Juliano Iyoda, Leonardo Moura.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем X, 243 p. 81 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 ;
№ тома 8195
505 0# - Примечание о содержании
Содержание Foundational and methodological issues in formal methods -- Design and analysis of software systems -- Design and analysis of hardware systems.- Applications in various domains.
520 ## - Аннотация
Аннотация This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Computer Science, general.
9 (RLIN) 155491
700 1# - Другие авторы
Другие авторы Moura, Leonardo.
Роль лиц editor.
9 (RLIN) 414909
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-41071-0">http://dx.doi.org/10.1007/978-3-642-41071-0</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) 356983

No items available.