Верификация C#-программ: перевод из языка C#-light в язык C#-kernel | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Дубрановский И. В.

Количество экземпляров:

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2004

Ключевые слова:

входной язык

верификация

Стр.:

60 с.

Библиография:

Библиогр.: c.59-60

Место издания:

Новосибирск

Номер:

120

Карточка:

Б2.23.

Дубрановский И. В..

Верификация C#-программ: перевод из языка C#-light в язык C#-kernel-Новосибирск., 2004.-60 с.-(Препринт ИСИ СО РАН №120).
Библиогр.: c.59-60

Таблица в старой библиотеке:

PREP2 972