Специализатор CILPE: доказательство корректности / Ю.А. Климов
Язык: русский ; резюме, английский.Выходные данные: Москва : Институт прикладной математики, 2009Физическая характеристика: 32 с. : ил. ; 20 см.Серия: Препринт ; N° 33 за 2009 г. ; 2071-2898Примечания: Рез. на англ. яз..Библиография: Библиогр.: с. 31-32.Предметная рубрика - Тема: CILPE, специализатор Другие классификации: ( rubbk ) З973.2-018-5-05,0 ; З973.2-018 Тип экземпляра: КнигаТип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
---|---|---|---|---|---|---|---|
Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2009-4/15390 (Просмотр полки(Открывается ниже)) | 4617 | Доступно | 3034147 | ||
Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2009-4/15390 (Просмотр полки(Открывается ниже)) | 4617 | Доступно | 3034148 |
Рез. на англ. яз.
Библиогр.: с. 31-32