Вы здесь
Toward C# Program Verification: A Three-level Approach
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2005
Стр.:
38 p.
Библиография:
Bibliogr.: p.37-38
Место издания:
Номер:
128
Карточка:
Б2.23, Б3.54.
Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V..
Toward C# Program Verification: A Three-level Approach-Novosibirsk., 2005.-38 p.-(Препринт IIS SB RAS №128).
Bibliogr.: p.37-38
Таблица в старой библиотеке:
ISI2 714