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