Вы здесь

Формализованные спецификации и трансформационный синтез программ

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
С.127-152.
Библиография: 
Библиогр.: c.149-152
Номер: 
1
Карточка: 

Б2.23, Б3.21.

Цейтлин Г. Е., Ющенко Е. Л..

Формализованные спецификации и трансформационный синтез программ// Кибернетика и системный анализ-1993, №1.-С.127-152.
Библиогр.: c.149-152

Таблица в старой библиотеке: 
PAP5 867