Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
скачать файл:
- Название:
- Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
- ВУЗ:
- С.-Петерб. гос. ун-т
- Краткое описание:
- Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т].- Санкт-Петербург, 2008.- 151 с.: ил. РГБ ОД, 61 09-1/17
- Стоимость доставки:
- 230.00 руб