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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/685
Заглавие : Advanced information systems engineering : 5th intern. conf., CAiSE'93, Paris, June 8-11, 1993: Proc
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :XI, 648 p.: Ill.
Серия: Lecture notes in computer science; 685
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-56777-1: Б.ц.
ГРНТИ : 50.41
ББК : З 973.233-018я431
Предметные рубрики: Информационные системы-- Программное обеспечение
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): объектно-ориентированные базы данных--верификация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/407
Заглавие : Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VII,382 p.: Ill.
Серия: lecture notes in computer science; 407
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52148-8:
ГРНТИ : 50.05.09
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): процесс алгебры--временная логика--теория конечных автоматов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/697
Заглавие : Computer aided verification : 5th intern. conf., CAV'93, Elounda, Greece, June 28-July 1, 1993: Proc.
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :IX, 504 p.: Ill.
Серия: Lecture notes in computer science; 697
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-56922-7: Б.ц.
ГРНТИ : 50.41.17
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): временная логика--параллельные системы--системы реального времени
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/575
Заглавие : Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :X, 487 p.: Ill.
Серия: Lecture notes in computer science; 575
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55179-4: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): протоколы обмена--системы реального времени
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/715
Заглавие : CONCUR '93 : 4th Intern. conf. on concurrency theory Hildesheim, Germany, Aug. 23-26, 1993. Proceedings
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :IX, 540 p.: Ill.
Серия: Lecture notes in computer science; 715
Примечания : Bibliogr. at the end of the art. - - Auth. ind. at the end of the book
ISBN, Цена 3-540-57208-2: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.2-018я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): бисимуляция--процесс алгебры--временная верификация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/335
Заглавие : Concurrency 88 : Proc. of the Intern. conf. on concurrency, Hamburg, FRG, Oct. 18-19, 1988
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :VI,401 p.: Ill.
Серия: Lecture notes in computer science; 335
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 401
ISBN, Цена 3-540-50403-6: Б.ц.
ГРНТИ : 50.41.23
ББК : З 973.22-01я431
Предметные рубрики: Распределенные системы вычислительные
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): языки программирования--верификация--распределенные базы данных
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/512
Заглавие : ECOOP' 91 European conference on object-oriented programming : Fifth Europ. conf. on object-oriented programming, ECOOP, Geneva, July 1991. Proc
Выходные данные : Berlin: Springer, 1991
Колич.характеристики :VI, 396 p.: Ill.
Серия: Lecture notes in computer science; 512
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-54262-0: Б.ц.
ГРНТИ : 50.05.13
ББК : З 973.203.4-018я431
Предметные рубрики: Объектно-ориентированное программирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): языки программирования--верификация программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : И-Ж/E91
Заглавие : The European conference on design automation: Proceedings : Amsterdam, Febr. 25-28, 1991
Выходные данные : Los Alamitos: IEEE Computer soc. press, 1991
Колич.характеристики :XXIV,601 p.: Ill. European conference on design automation (1991; Amsterdam)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 599-601
ISBN, Цена 0-8186-2130-3: Б.ц.
ГРНТИ : 50.51
ББК : Ж2с512я431
Предметные рубрики: Автоматизированное проектирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): логический синтез--верификация программ--комбинационные схемы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : И-Ж/E91
Заглавие : The European conference on design automation: Proceedings : Brussels, Mar. 16-19, 1992
Выходные данные : Los Alamitos: IEEE Computer soc. press, 1992
Колич.характеристики :XX,569 p.: Ill. European conference on design automation (1992; Brussels)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 567-569
ISBN, Цена 0-8186-2645-3: Б.ц.
ГРНТИ : 50.51
ББК : Ж2с512я431
Предметные рубрики: Автоматизированное проектирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): верификация программ--тестирование--формальные языки программирования
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : И-Ж/E91
Заглавие : The European design automation conference : proceedings: Hamburg, sept. 7-10, 1992 : EURO-DAC'92, EURO-VHDL'92
Выходные данные : Los Alamitos, Ca [etc.]: IEEE computer soc. press, 1992
Колич.характеристики :XVIII, 765 с European design automation conferenc(1992;Hamburg)
Серия: IEEE publications/ Inst.of electrical and electronics engineers, ISSN 0149-144X; 92CH3126-0
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 763-765
ISBN, Цена 0-8186-2780-8: Б.ц.
ГРНТИ : 50.51
ББК : Ж2с512я431
Предметные рубрики: Автоматизированное проектирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): верификация программ--тестирование--топологическая оптимизация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-20   21-26 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН