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

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

Логика
Шифр хранения:
FB 9 91-8/881-1

Marc21

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

Показать

Описание

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