Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=спецификации<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

Algebraic and logic programming/Ed. by J. Grabowski et al.. - 1988
2.

Zwiers J. Compositionality, concurrency and partial correctness/J. Zwiers. - 1989
3.

Program semantics, specification and verification : theory and applications : PSI 19/editors V. A. Zakharov [et al.]. - 2019
4.

Software engineering - ESEC '93/Ed.: I. Sommerville, M. Paul. - 1993
5.

Stepwise refinement of distributed systems/Ed. by Bakker, J. W. de et al. - 1990
6.

International workshop on rapid system prototyping (2; 1991; USA).The second International workshop on rapid system prototyping/Ed. Nick Kanapoulos. - 1992
7.

Международная фармакопея. Т.3:Спецификации для контроля качества фармацевтических препаратов. - 1990
8.

Проблемы спецификации и верификации параллельных систем/Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Непомнящего В.А. - 1995
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН