Вы здесь

Применение трехуровневого подхода к верификации программ на языке C#-Light

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
2007
Стр.: 
55 с.
Библиография: 
Библиогр.: c.54-55
Место издания: 
Номер: 
139
Карточка: 

Б2.23.

Промский А. В..

Применение трехуровневого подхода к верификации программ на языке C#-Light-Новосибирск., 2007.-55 с.-(Препринт ИСИ СО РАН №139).
Библиогр.: c.54-55

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