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