Supercompiler HOSC 1.0: proof of termination / Ilya G. Klyuchnikov
Другие варианты заглавия: : Суперкомпилятор HOSC 1.1: доказательство завершаемостиЯзык: английский ; резюме, русский.Выходные данные: Moscow : [s.n.], 2010Физическая характеристика: 27 c. : схем. ; 20 см.Серия: Препринт ; N° 21 ; 2071-2898Примечания: На обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников; На обл. надзаг. на рус. яз.; Рез. на рус. яз..Библиография: Библиогр.: с. 24-25 (16 назв.).Предметная рубрика - Тема: HOSC 1.1, компиляторы (компьют.) Другие классификации: З973.2-018-5-05Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Примечания | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2010-4/76 (Просмотр полки(Открывается ниже)) | Доступно | ; | 1091570 |
На обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников
На обл. надзаг. на рус. яз.
Рез. на рус. яз.
HOSC 1.1
Библиогр.: с. 24-25 (16 назв.)