Система анализа свойств программ, оперирующих сложными структурами данных | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Черноброд Л. В.

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

3

Колл. автор:

ВЦ АН СССР

Вид:

Препринт

Год:

1987

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

программа

свойство

автоматизация

тестирование

Стр.:

29 с.

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

Библиогр.: c.28-29.

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

Новосибирск

Номер:

701

Карточка:

Б2.23, Б3.54.

Черноброд Л. В..

Система анализа свойств программ, оперирующих сложными структурами данных-Новосибирск., 1987.-29 с.-(Препринт ВЦ АН СССР №701).
Библиогр.: c.28-29.

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

PREP1 777