Вид документа : Однотомное издание Шифр издания : 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)