Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=верификация программ<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1.
Вид документа
: Однотомное издание
Шифр издания
: И-Ж/I.69
Заглавие
: 1992 IEEE/ACM international conference on computer-aided design: Digest of technical papers : Nov. 8-12, 1992, Santa Clara, California
Выходные данные
: Los Alamitos: IEEE Computer soc. press, 1992
Колич.характеристики
:XXV,637 с.: Ill.
Коллективы
: International conference on computer-aided design (1992;Santa Clara, California.)
Серия:
IEEE publications/ Inst.of electrical and electronics engineers, ISSN 0149-144X; 92CHO3183-1
Примечания
: Bibliogr. at the end of the art.Auth. ind.: p. 635-637
ISBN, Цена
0-8186-3010-8: Б.ц.
ГРНТИ
: 50.51
ББК
: Ж2с512я431
Предметные рубрики:
Автоматизированное проектирование
Дескрипторы:
конф.м
Ключевые слова
(''Своб.индексиров.''):
верификация программ
--тестирование--синтез--моделирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: И-Ж/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)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: И-З 97/S98
Заглавие
: 1991 IEEE Computer society symposium on research in security and privacy: Proceedings : May 20-22, 1991, Oakland, California
Выходные данные
: Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики
:IX,389 с.: Ill.
Коллективы
: Symposium on research in security and privacy (1991;Oakland, California)
Примечания
: Biblogr. at the end of the art.Auth. ind.: p. 389
ISBN, Цена
0-8186-2168-0: Б.ц.
ГРНТИ
: 50.37
ББК
: З 973.2-018.221я431
Предметные рубрики:
Компьютеры-- Защита информации
Дескрипторы:
конф
Ключевые слова
(''Своб.индексиров.''): распределенные вычислительные системы--
верификация программ
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: И-З 97/I.69
Заглавие
: Pacific rim international symposium on fault tolerant systems: Proceedings : Sept. 26-27, 1991, Kawasaki, Jap
Выходные данные
: Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики
:X,259 p.: Ill. International symposium on fault tolerant systems (1991; Kawasaki, Japan)
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 259
ISBN, Цена
0-8186-2275-X: Б.ц.
ГРНТИ
: 50.33.03
ББК
: З 973.22-021.1я431
Предметные рубрики:
Вычислительные системы-- Надежность
Дескрипторы:
конф.м
Ключевые слова
(''Своб.индексиров.''): кодирование--
верификация программ
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: И-Ж/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)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/398
Заглавие
: Temporal logic in specification : Altrincham, UK, Apr. 8-10, 1987. Proc.
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,448 p.: Ill.
Серия:
Lecture notes in computer science; 398
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51803-7:
ГРНТИ
: 50.05.03
ББК
: З 973.2-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.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/571
Заглавие
: Formal techniques in real - time and fault - tolerant systems : Second Intern. symp Nijmegen, The Netherlands, Jan. 8-10, 1992. Proceedings
Выходные данные
: Berlin: Springer, 1991
Колич.характеристики
:IX,620 p.: Ill.
Серия:
Lecture notes in computer science; 571
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55092-5: Б.ц.
ГРНТИ
: 50.07.03
ББК
: З 973.22-01в641я431
Предметные рубрики:
Вычислительные системы
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''):
верификация программ
--отказоустойчивые системы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН