Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel / И.В. Дубрановский
Параллельное заглавие: : z55790C#-program verification: translation from C#-light into C#-kernel, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики, 2004Физическая характеристика: 60 с. ; 21 см.Примечания: Авт. также на англ. яз.: Igor V. Dubranovsky; Рез. на англ. яз..Библиография: Библиогр.: с. 59-60 (8 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация | C#, язык программирования Другие классификации: З973.2-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж | 2005-4/28054 (Просмотр полки(Открывается ниже)) | 2153 | Доступно | 985686 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж | 2005-4/28054 (Просмотр полки(Открывается ниже)) | 2153 | Доступно | 985687 |
Авт. также на англ. яз.: Igor V. Dubranovsky
Рез. на англ. яз.
Библиогр.: с. 59-60 (8 назв.)