Pr869 Pr869/697 Pr869/697 / Pr869/697-02 Computer aided verification : 5th intern. conf., CAV'93, Elounda, Greece, June 28-July 1, 1993: Proc. / Ed.: C. Courcoubetis. - Berlin [et al.] : Springer, 1993. - IX, 504 p. : Ill. - (Lecture notes in computer science ; 697). - Bibliogr. at the end of the art Перевод заглавия: Автоматизированная верификация Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): временная логика -- параллельные системы -- системы реального времени Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Шифр см. у томов International conference on parallel processing (1990). Proceedings of the 1990 International conference on parallel processing : Aug. 13-17, 1990 : [in 3 vol.]. - University Park : Penn. state univ. press, 1990 Перевод заглавия: Труды международной конференции по параллельной обработке данных Рубрики: Автоматическая обработка данных Кл.слова (ненормированные): мультипроцессоры -- параллельные системы -- архитектура -- алгоритмы Дескрипторы: конф.м -- многот Свободных экз. нет |