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