Концептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification / И. С. Ануреев
Параллельное заглавие: : я01790Conceptual basis of three-level method of C# program verification, английскийЯзык: русский.Выходные данные: Новосибирск : Ин-т систем информатики, 2013Физическая характеристика: 42 с. ; 21 см.Серия: Препринт ; 170Примечания: Авт. также на англ. яз.: Anureev I.S..Библиография: Библиогр.: с. 42 (9 назв.).Предметная рубрика - Тема: C#, язык программирования | Программы (компьют.) -- Верификация УДК: 004.438Другие классификации: З973.2-018-07 ; З973.23-018.1Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Обменный фонд | 1561 | Доступно | 1-511377 | |||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2014-4/4468 (Просмотр полки(Открывается ниже)) | 1185 | Доступно | 1-437750 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2014-4/4468 (Просмотр полки(Открывается ниже)) | 1068 | Доступно | 1-485390 |
Авт. также на англ. яз.: Anureev I.S.
Библиогр.: с. 42 (9 назв.)