Вы здесь
Проект верифицируюoего компилятора F@BOOL@: Часть II: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
2006
Ключевые слова:
Стр.:
31 с.
Библиография:
Библиогр.: c.31
Номер:
138
Карточка:
Б2.23.
Бодин Е. В., Калинина Н. А., Шилов Н. В..
Проект верифицируюoего компилятора F@BOOL@: Часть II: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения-2006.-31 с.-(Препринт ИСИ СО РАН №138).
Библиогр.: c.31
Таблица в старой библиотеке:
PREP3 99