Вы здесь
SOKRAT: An Environment for Safe and Efficient Programming
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.177-178.
Место издания:
Карточка:
Б3.53, Б3.25.
Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I..
SOKRAT: An Environment for Safe and Efficient Programming-St. Petersburg.// CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics, 1993.-P.177-178.
Таблица в старой библиотеке:
PAP6 497