На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL / И.В. Дубрановский
Параллельное заглавие: : z11790Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики СО РАН, 2006Физическая характеристика: 55 с. ; 21 см.Серия: Препринт ; 140Примечания: Авт. также на англ. яз.: Igor V. Dubranovsky; Рез. на англ. яз..Библиография: Библиогр.: с. 54-55 (10 назв.).Предметная рубрика - Тема: Программы (компьют.) -- Верификация | C#, язык программирования Другие классификации: З973.2-018-07Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2007-4/12760 (Просмотр полки(Открывается ниже)) | 1884 | Доступно | 2465947 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2007-4/12760 (Просмотр полки(Открывается ниже)) | 1884 | Доступно | 2465948 |
Авт. также на англ. яз.: Igor V. Dubranovsky
Рез. на англ. яз.
Библиогр.: с. 54-55 (10 назв.)