Дубрановский, Игорь В. - Верификация 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
Шифр хранения:
FB 3 05-38/229

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеВерификация 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