Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/407 Заглавие : Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc. Выходные данные : Berlin: Springer, 1990 Колич.характеристики :VII,382 p.: Ill. Серия: lecture notes in computer science; 407 Примечания : Bibliogr. at the end of the art ISBN, Цена 3-540-52148-8: ГРНТИ : 50.05.09 ББК : З 973.2-018.14я431 Предметные рубрики: Верификация-- Программ ЭВМ Дескрипторы: сб пр--конф Ключевые слова (''Своб.индексиров.''): процесс алгебры--временная логика--теория конечных автоматов Экземпляры :02(1) Свободны : 02(1)