Трансформационный синтез корректных программ

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1986

Ключевые слова:

Выпуск:

Место издания:

Источник:

Карточка:

Непомнящий В. А., Сабельфельд В. К..

Трансформационный синтез корректных программ-Москва.// Прикладная информатика, 1986.

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

ISI1 725