Вы здесь

Проект верифицирую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