Вы здесь

Аксиоматическое системы спецификаций программ над номинативными данными

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
С.259-272.
Библиография: 
Библиогр.: c.271-272
Номер: 
1-2
Карточка: 

Б3.5.

Никитченко Н. С., Омельчук Л. Л., Шкильняк С. С., Янченко О. И..

Аксиоматическое системы спецификаций программ над номинативными данными// Проблемы программирования-2000, №1-2.-С.259-272.
Библиогр.: c.271-272

Таблица в старой библиотеке: 
PAP21 387