Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/398 Заглавие : Temporal logic in specification : Altrincham, UK, Apr. 8-10, 1987. Proc. Выходные данные : Berlin: Springer, 1989 Колич.характеристики :VI,448 p.: Ill. Серия: Lecture notes in computer science; 398 Примечания : Bibliogr. at the end of the art ISBN, Цена 3-540-51803-7: ГРНТИ : 50.05.03 ББК : З 973.2-018я431 Предметные рубрики: Программное обеспечение-- ЭВМ Дескрипторы: сб пр--конф Ключевые слова (''Своб.индексиров.''): временная логика--верификация программ--процесс алгебры Экземпляры :02(1) Свободны : 02(1)