Дубрановский, Игорь В. - Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel / И. В. Дубрановский. - Новосибирск : Ин-т систем информатики, 2004. - 60 с.; 21 см. - (Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120).
Карточка
Экспресс-заказ фрагмента
Дубрановский, Игорь В.
Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel / И. В. Дубрановский. - Новосибирск : Ин-т систем информатики, 2004. - 60 с.; 21 см. - (Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120).
Программы(компьют.) - Верификация
C , язык программирования
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
объектно-ориентированный язык программирования C#-light - объектно-ориентированный язык программирования C#-kernel
Шифр хранения:
Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel / И. В. Дубрановский. - Новосибирск : Ин-т систем информатики, 2004. - 60 с.; 21 см. - (Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120).
Программы(компьют.) - Верификация
C , язык программирования
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
объектно-ориентированный язык программирования C#-light - объектно-ориентированный язык программирования C#-kernel
Шифр хранения:
FB 3 05-38/229
Описание
Автор | Дубрановский, Игорь В. |
---|---|
Заглавие | Верификация C#-программ: перевод из языка C#-light в язык C#-kernel = C#-program verification: translation from C#-light into C#-kernel : C#-program verification: translation from C#-light into C#-kernel |
Коллекции ЭК РГБ | Каталог документов с 1831 по настоящее время |
Дата поступления в ЭК РГБ | 05.09.2005 |
Каталоги | Книги (изданные с 1831 г. по настоящее время) |
Сведения об ответственности | И. В. Дубрановский |
Выходные данные | Новосибирск : Ин-т систем информатики, 2004 |
Физическое описание | 60 с.; 21 см |
Серия | (Препринт/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 120) |
Тема | Программы(компьют.) - Верификация |
C , язык программирования | |
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация | |
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования | |
Термины-указатели | объектно-ориентированный язык программирования C#-light - объектно-ориентированный язык программирования C#-kernel |
BBK-код | З973.2-018-5-05,0 |
З973.2-018.1,0 | |
Язык | Русский |
Места хранения | FB 3 05-38/229 |