Pr869 Pr869/407 Pr869/407 / Pr869/407-02 Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc. / Ed. by J. Sifakis. - Berlin [et al.] : Springer, 1990. - VII,382 p. : Ill. - (lecture notes in computer science ; 407). - Bibliogr. at the end of the art Перевод заглавия: Методы автоматической верификации для конечных систем Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): процесс алгебры -- временная логика -- теория конечных автоматов Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |