Вы здесь

О генерации условий корректности для императивных программ

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2008
Стр.: 
С.5-23
Номер: 
6
Карточка: 

Б2.23, Б3.54.

Шилов Н. В., Ануреев И. С., Бодин Е. В..

О генерации условий корректности для императивных программ// Программирование-2008, №6.-С.5-23

Таблица в старой библиотеке: 
ISI2 986