Вы здесь
A Three-Level Approach to C# Program Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
P.61-85
Выпуск:
20
Библиография:
Bibliogr.: p.84-85
Место издания:
Серия:
Источник:
Карточка:
Б2.23.
Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V..
A Three-Level Approach to C# Program Verification-Novosibirsk, P..// Joint Bull. of NCC and IIS, 2004.-P.61-85-(Computer Science).
Bibliogr.: p.84-85
Таблица в старой библиотеке:
PAP29 432