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

Книга

Применение трехуровневого подхода к верификации программ на языке С#-LIGHT = Application of three-level approach to C#-LIGHT program verification / А.В. Промский

Автор: Промский, Алексей Владимирович, Автор Параллельное заглавие: : z11790Application of three-level approach to C#-LIGHT program verificationЯзык: русский.Выходные данные: Новосибирск : Институт систем информатики, 2006Физическая характеристика: 55 с. ; 20 см.Серия: Препринт ; 139Примечания: Авт. также на англ. яз.: A.V. Promsky; Рез. на англ. яз..Библиография: Библиогр.: с. 54-55 (29 назв.).Предметная рубрика - Тема: Программы (компьют.) -- Верификация | C#, язык программирования Неконтролируемые предметные термины: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Объектно-ориентированное программирование -- Автоматизация. Верификация программ -- Пособие для специалистов | язык программирования C LightДругие классификации: ( ) З973.2-018.2-5-05,0 ; З973.2-018-07Коллекция: Национальная библиография Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Кол-во копий	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2007-4/15511 (Просмотр полки(Открывается ниже))	2695	Доступно		2503096
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2007-4/15511 (Просмотр полки(Открывается ниже))	2695	Доступно		2503097

Авт. также на англ. яз.: A.V. Promsky

Рез. на англ. яз.

Библиогр.: с. 54-55 (29 назв.)