Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Непомнящий, В. А.
    На пути к верификации C# - программ: трехуровневый подход [Текст] / Институт систем информатики им. А.П.Ершова СО РАН, г.Новосибирск // . — С. 4-20.

- Анотація:

Представляется новый трехуровневый подход к верификации последовательных обьектно-ориентированных программ. Он применяется к выразительному подмножеству C#-light языка C#, котрое включает все его основные последовательные конструкции.

- Є складовою частиною документа:

- Теми документа

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт