Научные основы доказательного программирования | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ершов А. П.

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

1

Вид:

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

Год:

1994

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

доказательный

Стр.:

С.385-395.

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

Новосибирск

Источник:

Избранные труды

Карточка:

Б2.

Ершов А. П..

Научные основы доказательного программирования-Новосибирск.// Избранные труды, 1994.-С.385-395.

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

PAP8 681