Towards C
Другие варианты заглавия: : На пути к верификации СЯзык: английский ; резюме, русский.Выходные данные: Novosibirsk : A.P. Ershov Inst. of informatics systems, 2005Физическая характеристика: 38 с. ; 21 см.Серия: Preprint ; 128Примечания: На парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский; Рез. на рус. яз..Библиография: Библиогр.: с. 37-38 (19 назв.).Предметная рубрика - Тема: Программы (компьют.) -- Верификация | C#, язык программирования Другие классификации: З973.2-018-07Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Примечания | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2007-4/3 (Просмотр полки(Открывается ниже)) | Доступно | ; | 1063226 |
На парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский
Рез. на рус. яз.
Библиогр.: с. 37-38 (19 назв.)