Вы здесь
На пути к верификации C#-программ: алгоритмы перевода из C# Light в C#-Kernel
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2007
Ключевые слова:
Стр.:
55 с.
Библиография:
Библиогр.: c.54-55
Место издания:
Номер:
140
Карточка:
Б2.23.
Дубрановский И. В..
На пути к верификации C#-программ: алгоритмы перевода из C# Light в C#-Kernel-Новосибирск., 2007.-55 с.-(Препринт ИСИ СО РАН №140).
Библиогр.: c.54-55
Таблица в старой библиотеке:
PREP3 97