Васильев, Павел Константинович. - Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т]. - Санкт-Петербург, 2008. - 151 с.

Экспресс-заказ фрагмента
Васильев, Павел Константинович.
Васильев, Павел Константинович.
Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т]. - Санкт-Петербург, 2008. - 151 с.

Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шифр хранения:
OD 61 09-1/17

Marc21

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

Показать

Описание

Автор
ЗаглавиеРазработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11
Коллекции ЭК РГБ Каталог диссертаций
Коллекции ЭБ РГБ Диссертации
Дата поступления в ЭК РГБ 19.11.2008
Дата поступления в ЭБ РГБ 12.03.2009
Каталоги Диссертации
Сведения об ответственностиВасильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т]
Выходные данныеСанкт-Петербург, 2008
Физическое описание151 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияOD 61 09-1/17
Электронный адрес Электронный ресурс