Вы здесь
Проект верифицируюoего компилятора F@BOOL@. Часть 1: Об ее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2005
Ключевые слова:
Стр.:
22 с.
Библиография:
Библиогр.: c.22
Номер:
131
Карточка:
Б2.23.
Бодин Е. В., Калинина Н. А., Шилов Н. В..
Проект верифицируюoего компилятора F@BOOL@. Часть 1: Об ее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта-2005.-22 с.-(Препринт ИСИ СО РАН №131).
Библиогр.: c.22
Таблица в старой библиотеке:
ISI2 720