Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Теоретические основы информатики
скачать файл:
- Название:
- Прокофьева Евгения Юрьевна. Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время
- Краткое описание:
- Прокофьева Евгения Юрьевна. Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время : Дис. ... канд. физ.-мат. наук : 05.13.17 : СПб., 2004 99 c. РГБ ОД, 61:05-1/420
- Стоимость доставки:
- 230.00 руб