Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=спецификации<.>)
Общее количество найденных документов
:
8
Показаны документы
с 1 по 8
1.
З97
П781
Проблемы
спецификации
и
верификации параллельных систем [Текст] = Problems of specification and verification of concurrent systems : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Непомнящего В.А. - Новосибирск : [б. и.], 1995. - 237 с. : ил
Библиогр. в конце ст
50.41.23
ББК
З 973.22-018я43
Рубрики:
Вычислительные системы, программное обеспечение
Дескрипторы:
сб
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
14-3-97
Найти похожие
2.
Pr869
Pr869/321
Pr869/321 / Pr869/321-02
Zwiers, Job
.
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers. - Berlin [et al.] : Springer, 1989. - VI,272 p. : Ill. - (Lecture notes in computer science ; 321)
Bibliogr.: p. 266-272
Перевод заглавия:
Композиционность, параллелизм и частичная корректировка: Теория доказательства сетей процессов и их взаимосвязь
50.05.17
ББК
З 973.2-018
Рубрики:
Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
программирование
--
семантика
--
спецификации
Дескрипторы:
сб пр -- моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
141-9-92+02
Найти похожие
3.
Pr869
Pr869/343
Pr869/343 / Pr869/343-02
Algebraic and logic
programming [Text] : intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc. / Ed. by J. Grabowski et al. - Berlin [et al.] : Springer, 1988. - 278 p. : Ill. - (Lecture notes in computer science ; 343). - Bibliogr. at the end of the art
Перевод заглавия:
Алгебраическое и логическое программирование
50.05.09
50.07.03
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
логика программ
--
алгебраические
спецификации
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
141-12-92+02
Найти похожие
4.
Pr869
Pr869/430
Pr869/430 / Pr869/430-02
Stepwise refinement of
distributed systems : models, formalisms, correctness. REX workshop, Mook, the Netherlands, May 29-June 2, 1989. Proc. / Ed. by Bakker, J. W. de et al. - Berlin [et al.] : Springer, 1990. - X, 808 p. - (Lecture notes in computer science ; 430). - Bibliogr. at the end of the art
Перевод заглавия:
Поэтапное усовершенствование распределенных систем
50.41.17
ББК
З 973.22-018Я431
Рубрики:
Распределенные системы вычислительные--Программное обеспечение
Кл.слова (ненормированные):
конкурентные системы
--
синтаксис
--
спецификации
Дескрипторы:
сб пр -- конф.м
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
162-13-93+02
Найти похожие
5.
Pr869
Pr869/717
Pr869/717 / Pr869/717-02
Software engineering -
ESEC '93 [Text] : 4th Europ. software engineering conf., Garmisch-Partenkirchen, Germany, Sept. 13-17, 1993. Proc. / Ed.: I. Sommerville, M. Paul. - Berlin [et al.] : Springer, 1993. - XII,516 p. : Ill. - (Lecture notes in computer science ; 717). - Bibliogr. at the end of the art
Перевод заглавия:
Техника программного обеспечения
50.41.23
ББК
З 973.22-018я431
Рубрики:
Программное обеспечение--Вычислительных систем
Кл.слова (ненормированные):
распределенные информационные системы
--
формальные
спецификации
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
233-18-94+02
Найти похожие
6.
И-З 97
I.69
И-З 97 / I.69-02
International workshop on rapid system prototyping (2; 1991; USA).
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 / Ed. Nick Kanapoulos. - Los Alamitos [et al.] : IEEE computer society press, 1992. - VIII, 201 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 201
Перевод заглавия:
Труды 2-го международного семинара по системам ускоренного макетирования
50.41
ББК
З 973.2-018я431
Рубрики:
Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
операционные системы
--
спецификации
--
макетирование
Дескрипторы:
конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
71-7-94+02
Найти похожие
7.
Р28
М431/3
Р28 / М431/3-02
Международная фармакопея / Министерство здравоохранения СССР. - 3-е изд. - Женева : Всемирная организация здравоохранения, 1981 - . - 22 см. -
Пер. изд. :
The international pharmacopoeia. - 3-th edition. - Geneva, 1988.
Т.3
:
Спецификации
для контроля качества фармацевтических препаратов. - 1990. - 435 с. : ил. -
ГРНТИ
76.31
ББК
Р28я27
Рубрики:
Международная фармакопея
Доп.точки доступа:
Министерство здравоохранения СССР
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Найти похожие
8.
З 973.2
P93
З 973.2 / P93-02 ВМИ
Program semantics, specification
and verification : theory and applications : PSI 19 [Text] : 12th A. P. Ershov informatics conference : X workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts / editors V. A. Zakharov [et al.]. - Novosibirsk : A. P. Ershov institute of informatics systems SB RAS : Novosibirsk state university, 2019. - 39 p. : ill. ; 29 см. - (PSI conference series, 12th edition). - Bibliogr. at the end of the reports. - 50 экз.
В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university
Перевод заглавия:
Программные семантики,
спецификации
и верификация : теория и применение : 10-й семинар
ГРНТИ
50.41
УДК
519.6(082)^V3
ББК
З 973.2-018я431
Рубрики:
Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
Компьютеры персональные - Программирование
Доп.точки доступа:
Zakharov, V. A. \ed.\
Экземпляры всего:
1
02 ВМИ (1)
Свободны:
02 ВМИ (1)
Инвентарный номер:
28-18-2020но
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН