Стеблецова, Вера Николаевна - Логики с модально-временными операторами и их приложение к верификации параллельных программ : автореферат дис. ... кандидата философских наук : 09.00.07

Карточка

Стеблецова, Вера Николаевна.

Логики с модально-временными операторами и их приложение к верификации параллельных программ : автореферат дис. ... кандидата философских наук : 09.00.07 / МГУ им. М. В. Ломоносова. - Москва, 1989. - 19 с.
Логика
FB 9 91-8/881-1

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеЛогики с модально-временными операторами и их приложение к верификации параллельных программ : автореферат дис. ... кандидата философских наук : 09.00.07
Дата поступления в ЭК 26.11.1997
Каталоги Авторефераты диссертаций
Сведения об ответственностиМГУ им. М. В. Ломоносова
Выходные данныеМосква, 1989
Физическое описание19 с.
ТемаЛогика
BBK-кодЮ423,0
Специальность09.00.07: Логика
ЯзыкРусский
Места храненияFB 9 91-8/881-1