Верификация программ над массивами | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Непомнящий В. А.

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

1

Вид:

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

Год:

1993

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

верификация

программа

Стр.:

С.68-98.

Выпуск:

3

Библиография:

Библиогр.: c.88-89.

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

Новосибирск

Издательство:

Источник:

Системная информатика

Карточка:

Б2.23.

Непомнящий В. А..

Верификация программ над массивами-Новосибирск.: Наука// Системная информатика, 1993.-С.68-98.
Библиогр.: c.88-89.

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

PAP12 381