Номер документа в системі: | 110008 |
Автор: | Прокофьева Е.Ю. |
Назва документа: | Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время [Электронный ресурс] |
Видавництво: | РГБ |
Місто видання: | М. |
Рік видання: | 2005 |
Мова документу | Російська |
Кількість сторінок | 102 с. |