Вы здесь
На пути к верификации C# программ: алгоритмы перевода из языка C#-Light в язык C#-Kernel
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
2005
Ключевые слова:
Стр.:
С.16-18
Библиография:
Библиогр.: c.17-18
Место издания:
Карточка:
Б2.23.
Дубрановский И. В..
На пути к верификации C# программ: алгоритмы перевода из языка C#-Light в язык C#-Kernel-Новосибирск.// Технологии Microsoft в информатике и программировании, 2005.-С.16-18
Библиогр.: c.17-18
Таблица в старой библиотеке:
PAP29 799