Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=языки спецификаций<.>)

Общее количество найденных документов : 6
Показаны документы с 1 по 6

1822(И)

   Bjørner, Dines
    Software Engineering / D. Bjørner. - Berlin Heidelberg : Springer, 2006 - . - (Texts in Computer Science : An EATCS series).
   Vol. 2 : Specification of Systems and Languages. - Berlin Heidelberg : Springer, 2006. - 777[39] p. : 151 fig., 27 tabl. - Reference: p. 751-777; Index: p. 721-749. - ISBN 978-3-540-21150-1 : 74.95 €
Перевод заглавия: Программирование

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06
~РУБ 1822(И)

Кл.слова (ненормированные):
программирование -- языки спецификаций -- спецификации -- лингвистическое обеспечение

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

1821(И)

   Bjørner, Dines
    Software Engineering / D. Bjørner. - Berlin Heidelberg : Springer, 2006 - . - (Texts in Computer Science : An EATCS series).
   Vol. 1 : Abstraction and Modelling. - Berlin Heidelberg : Springer, 2006. - 711[39] p. : 38 figur. - Reference: p. 687-711; Index: p. 649-685. - ISBN 9-783-540-21149-5 : 74.95 €
Перевод заглавия: Программирование

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06
~РУБ 1821(И)

Кл.слова (ненормированные):
программирование -- абстракции -- моделирование -- дискретная математика -- языки спецификаций -- спецификации

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 148 : Логические методы в программировании : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1993. - 176 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- ЯЗЫКИ СПЕЦИФИКАЦИЙ -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1991. - 192[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0102-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
519.682
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- теория вычислимости -- языки спецификаций -- ПРИКЛАДНАЯ ЛОГИКА -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНие -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

681.3
В949

Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .Языки спецификаций и логическое программирование / науч. ред.: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Институт математики, 1988. - 148 с. : ил. - Б. ц.

Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
681.3.06:510.6
~РУБ 681.3

Кл.слова (ненормированные):
ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫКИ СПЕЦИФИКАЦИЙ -- ПРИКЛАДНАЯ ЛОГИКА
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \науч. ред.\
Гончаров, С. С. \науч. ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

681.3
В-949

    Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск : [б. и.], 1995 - .
   Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск : [б. и.], 1995. - 220 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
510.6
~РУБ 681.3

Кл.слова (ненормированные):
теория вычислений -- языки спецификаций -- программирование -- семантическое программирование -- прикладная логика -- программная логика -- ресурсная динамическая логика -- RDL -- S-программы -- языки действий -- естественные языки -- СИГМА-Т3 -- теория алгоритмов -- вычислительные системы
Доп.точки доступа:
Российская Академия наук. Сибирское отделение
Институт математики им. С. Л. Соболева

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

Статистика за 14.06.2024
Число запросов	20611
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)