Описание RUSMARC Карточка

На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL

2007-4/12760 2007-4/12760 [2007-35522]/русский/На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL / И.В. Дубрановский.На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL / И.В. Дубрановский.На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL.Новосибирск/Институт систем информатики СО РАН/, 2006 ( ). - Институт систем информатики СО РАН, 2006. - 55 с. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 140).На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL. Новосибирск, 2006 .
     Авт. также на англ. яз.: Igor V. Dubranovsky. - Рез. на англ. яз. - Библиогр.: с. 54-55 (10 назв.). Библиогр.: с. 54-55 (10 назв.).Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL/Программы (компьют.) -- Верификация/C#, язык программирования/З973.2-018-07/ Дубрановский, И.В., Игорь В. .И.В.Игорь В.Dubranovskij , Igor' V. ./
Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru