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

Применение трехуровневого подхода к верификации программ на языке С#-LIGHT

2007-4/15511 2007-4/15511 [2007-50961]/русский/Применение трехуровневого подхода к верификации программ на языке С#-LIGHT = Application of three-level approach to C#-LIGHT program verification / А.В. Промский.Применение трехуровневого подхода к верификации программ на языке С#-LIGHT / А.В. Промский.Применение трехуровневого подхода к верификации программ на языке С#-LIGHT = Application of three-level approach to C#-LIGHT program verification.Новосибирск/Институт систем информатики/, 2006 ( ). - Институт систем информатики, 2006. - 55 с. ; 20 см. - (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А.П. Ершова ; 139).Применение трехуровневого подхода к верификации программ на языке С#-LIGHT. Новосибирск, 2006 .
     Авт. также на англ. яз.: A.V. Promsky. - Рез. на англ. яз. - Библиогр.: с. 54-55 (29 назв.). Библиогр.: с. 54-55 (29 назв.).Application of three-level approach to C#-LIGHT program verification/Программы (компьют.) -- Верификация/C#, язык программирования/З973.2-018.2-5-05,0/З973.2-018-07/ Промский, А. В., Алексей Владимирович .А. В.Алексей ВладимировичPromskij , Aleksej Vladimirovič ./
Связаться с нами:

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

e-mail: office@nlr.ru