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

Регистрация

Вход

Изготовление электронных копий любых изданий

	Автор: Стеблецова, Вера Николаевна
	Книга ID: 45258 Логики с модально-временными операторами и их приложение к верификации параллельных программ : автореферат дис. ... кандидата философских наук : 09.00.07 МГУ им. М. В. Ломоносова Тематика, ключевые слова: Логика. Сведения об издании: Москва 1989 19 с. Язык: rus	Цена не определена. Для уточнения: WhatsApp или [email protected]