Pr869 Pr869/575 Pr869/575 / Pr869/575-02 Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings / K. G. Larsen, A. Skou (Eds.). - Berlin [et al.] : Springer, 1992. - X, 487 p. : Ill. - (Lecture notes in computer science ; 575). - Bibliogr. at the end of the art Перевод заглавия: Автоматизированная верификация Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): протоколы обмена -- системы реального времени Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |