Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=спецификации<.>)
Общее количество найденных документов
:
8
Показаны документы
с 1 по 8
1.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/343
Заглавие
: Algebraic and logic programming : Intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc.
Выходные данные
: Berlin: Springer, 1988
Колич.характеристики
:278 p.: Ill.
Серия:
Lecture notes in computer science; 343
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-50667-5: Б.ц.
ГРНТИ
: 50.05.09 + 50.07.03
ББК
: З 973.205-018.12я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): логика программ--алгебраические
спецификации
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/321
Автор(ы)
: Zwiers, Job
Заглавие
: Compositionality, concurrency and partial correctness : Proof theories for networks of processes, and their relationship
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,272 p.: Ill.
Серия:
Lecture notes in computer science; 321
Примечания
: Bibliogr.: p. 266-272
ISBN, Цена
3-540-50845-7: Б.ц.
ГРНТИ
: 50.05.17
ББК
: З 973.2-018
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--моногр
Ключевые слова
(''Своб.индексиров.''): программирование--семантика--
спецификации
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: З 973.2/P93
Заглавие
: Program semantics, specification and verification : theory and applications : PSI 19 : 12th A. P. Ershov informatics conference : X workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts
Выходные данные
: Novosibirsk: A. P. Ershov institute of informatics systems SB RAS; Novosibirsk: Novosibirsk state university, 2019
Колич.характеристики
:39 p.: ill.; 29 см.
Серия:
PSI conference series, 12th edition
Примечания
: Bibliogr. at the end of the reports. - В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university
ISBN, Цена
978-5-4437-0918-5: 293 р.
ГРНТИ
: 50.41
УДК
: 519.6(082)
ББК
: З 973.2-018я431
Предметные рубрики:
Компьютеры-- Программное обеспечение
Ключевые слова
(''Своб.индексиров.''): компьютеры персональные - программирование
Экземпляры
:02 ВМИ(1)
Свободны
: 02 ВМИ(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/717
Заглавие
: Software engineering - ESEC '93 : 4th Europ. software engineering conf., Garmisch-Partenkirchen, Germany, Sept. 13-17, 1993. Proc.
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:XII,516 p.: Ill.
Серия:
Lecture notes in computer science; 717
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-57209-0: Б.ц.
ГРНТИ
: 50.41.23
ББК
: З 973.22-018я431
Предметные рубрики:
Программное обеспечение-- Вычислительных систем
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): распределенные информационные системы--формальные
спецификации
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/430
Заглавие
: Stepwise refinement of distributed systems : Models, formalisms, correctness. REX workshop, Mook, the Netherlands, May 29-June 2, 1989. Proc.
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:X, 808 p.
Серия:
Lecture notes in computer science; 430
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-52559-9: Б.ц.
ГРНТИ
: 50.41.17
ББК
: З 973.22-018Я431
Предметные рубрики:
Распределенные системы вычислительные-- Программное обеспечение
Дескрипторы:
сб пр--конф.м
Ключевые слова
(''Своб.индексиров.''): конкурентные системы--синтаксис--
спецификации
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: И-З 97/I.69
Заглавие
: The second International workshop on rapid system prototyping : Shortening the path from specification to prototype. Proceedings, Research Triangle park, N. C., USA, June 11-13, 1991
Выходные данные
: Los Alamitos: IEEE computer society press, 1992
Колич.характеристики
:VIII, 201 p.: Ill. International workshop on rapid system prototyping (2; 1991; USA)
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 201
ISBN, Цена
0-8186-3040-X: Б.ц.
ГРНТИ
: 50.41
ББК
: З 973.2-018я431
Предметные рубрики:
Компьютеры-- Программное обеспечение
Дескрипторы:
конф
Ключевые слова
(''Своб.индексиров.''): операционные системы--
спецификации
--макетирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Многотомное издание
Шифр издания
: Р28/М431/3
Заглавие
: Международная фармакопея/ Министерство здравоохранения СССР. - 3-е изд. Т.3:
Спецификации
для контроля качества фармацевтических препаратов
Выходные данные
: Женева: Всемирная организация здравоохранения, 1990
Колич.характеристики
:435 с.: ил.
Коллективы
: Министерство здравоохранения СССР
Перевод издания:
The international pharmacopoeia. -3-th edition. -Geneva, 1988
ISBN, Цена
5-225-01845-992-4-154215-2: Б.ц.
ГРНТИ
: 76.31
ББК
: Р28я27
Предметные рубрики:
Международная фармакопея
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: З97/П781
Заглавие
: Проблемы
спецификации
и верификации параллельных систем : Сб. науч. тр.
Параллельн. заглавия
:Problems of specification and verification of concurrent systems
Выходные данные
: Новосибирск, 1995
Колич.характеристики
:237 с.: ил
Примечания
: Библиогр. в конце ст
ISBN, Цена
5-7623-1069-8: Б.ц.
ГРНТИ
: 50.41.23
ББК
: З 973.22-018я43
Предметные рубрики:
Вычислительные системы, программное обеспечение
Дескрипторы:
сб
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН