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

Вы здесь

Автор:

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

Рякин О. М.

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

1

Вид:

Монография

Год:

1988

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

верификация

программа

Стр.:

256 с.

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

Библиогр.: c.252-254

Редактор:

Ершов А. П.

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

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

Радио и связь

Карточка:

Б2.23.

Непомнящий В. А., Рякин О. М..

Прикладные методы верификации программРед. Ершов А. П..-Москва.: Радио и связь, 1988.-256 с.
Библиогр.: c.252-254

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

ISI1 973