Вы здесь
Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017
Количество экземпляров:
1
Колл. автор:
Вид:
Сборник или журнал
Год:
2017
Ключевые слова:
Стр.:
24 с.
Редактор:
Место издания:
Издательство:
Карточка:
Б2.23.
Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017/МГУ. Ред. , Захаров В. А., Шилов Н. В..-М..: МАКС Пресс, 2017.-24 с.
Таблица в старой библиотеке:
MONO12 533