Towards C# program verification: a three-level approach = На пути к верификации С#-программ: трехуровневый подход : На пути к верификации С#-программ: трехуровневый подход

Экспресс-заказ фрагмента
Towards C# program verification: a three-level approach = На пути к верификации С#-программ: трехуровневый подход : На пути к верификации С#-программ: трехуровневый подход / V. A. Nepomniaschy [et al.]. - Novosibirsk : [б. и.], 2005. - 38 с.; 20 см. - (Preprint = Препринт / Siberian division of the Russian acad. of sciences, A. P. Ershov inst. of informatics systems; 128).

Marc21

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

Показать

Описание

ЗаглавиеTowards C# program verification: a three-level approach = На пути к верификации С#-программ: трехуровневый подход : На пути к верификации С#-программ: трехуровневый подход
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 20.10.2006
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиV. A. Nepomniaschy [et al.]
Выходные данныеNovosibirsk : [б. и.], 2005
Физическое описание38 с.; 20 см
Серия(Preprint = Препринт / Siberian division of the Russian acad. of sciences, A. P. Ershov inst. of informatics systems; 128)
ЯзыкАнглийский