Pr869 Pr869/354 Pr869/354 / Pr869/354-02 Linear time, branching time and partial order in logics and models for concurrency : school/ Workshop, Noordwijkerhout, The Netherlands May 30- June 3, 1988 / Ed. by J. W. de Bakker a. o. - Berlin [et al.] : Springer, 1989. - VIII,713 p. : Ill. - (Lecture notes in computer science ; 354). - Bibliogr. at the end of the art Перевод заглавия: Линейное время, время ветвления и частичная упорядоченность в логике и моделях совпадения Рубрики: Копьютеры--Теория Кл.слова (ненормированные): ЭВМ -- процесс алгебры -- время ветвления -- временная логика Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/398 Pr869/398 / Pr869/398-02 Temporal logic in specification : altrincham, UK, Apr. 8-10, 1987. Proc. / Ed. by B. Banieqbal a. o. - Berlin [et al.] : Springer, 1989. - VI,448 p. : Ill. - (Lecture notes in computer science ; 398). - Bibliogr. at the end of the art Перевод заглавия: Временная логика в определении Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): временная логика -- верификация программ -- процесс алгебры Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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) |
Pr869 Pr869/630 Pr869/630 / Pr869/630-02 CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc. / Ed. by W. R. Cleaveland. - Berlin [et al.] : Springer, 1992. - 580 p. : Ill. - (Lecture notes in computer science ; 630). - Bibliogr. at the end of the art. - Auth. ind.: p. 580 Перевод заглавия: Труды 3-й международной конференции по теории параллелизма Рубрики: Теория автоматов Вычислительные системы--Теория Кл.слова (ненормированные): семантика -- вероятностные процессы -- временная логика -- автоматы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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) |
Pr1019 Pr1019/592 Pr1019/592 / Pr1019/592-02 Logic programming [Text] : first Russian conf. on logic programming, Irkutsk, Russia, Sept. 14-18, 1990; Second Russian conf. on logic programming, St. Petersburg, Russia, Sept. 11-16, 1991. Proc. / Ed. by A. Voronkov. - Berlin [et al.] : Springer, 1992. - IX,514 p. : Ill. - (Lecture notes in artificial intelligence ; 592). - Bibliogr. at the end of the art Перевод заглавия: Логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): базы знаний -- семантика -- Пролог -- временная логика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 F75 И-З 97 / F75-02 Formal verification of hardware design : сборник / Ed. by M. Yoeli. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - IX,326 p. : Ill. - Bibliogr. at the end of the chapters - Ind.: p. 317-326 Перевод заглавия: Формальная верификация проектирования аппаратных средств ЭВМ Содержание: Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): временная логика -- верификация -- микропроцессоры Дескрипторы: сб Доп.точки доступа: Yoeli, M. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |