Вы здесь
Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2010
Ключевые слова:
Стр.:
178 с.
Редактор:
Место издания:
Карточка:
Б1.3.
Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010Ред. Непомнящий В. А., Соколов В. А..-Казань., 2010.-178 с.
Таблица в старой библиотеке:
MONO8 158