Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=верификация<.>)
Общее количество найденных документов
:
26
Показаны документы
с 1 по 10
1-10
11-20
21-26
1.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/408
Заглавие
: Hardware specification, verification and synthesis: mathematical aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:VI, 402 p.: ill.
Коллективы
: Mathematical sciences institute (Ithaca)
Серия:
Lecture notes in computer science; 408
ISBN, Цена
3-540-97226-9: Б.ц.
ISBN, Цена
0-387-97226-9: Б.ц.
ББК
: З 973.2-044-01в641я431
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-26
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН