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

Базы данных

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

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

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

   
    Formal techniques in real - time and fault - tolerant systems : second Intern. symp Nijmegen, The Netherlands, Jan. 8-10, 1992. Proceedings / J.Vytopil (Ed.). - Berlin [et al.] : Springer, 1991. - IX,620 p. : Ill. - (Lecture notes in computer science ; 571). - Bibliogr. at the end of the art
Перевод заглавия: Формальные методы в теории отказоустойчивых систем реального времени
50.07.03
ББК З 973.22-01в641я431
Рубрики: Вычислительные системы
Кл.слова (ненормированные):
верификация программ -- отказоустойчивые системы
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-5-94+02
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН