An algorithm for testing sufficient completeness of a simple class of conditional specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1990

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

алгоритм

спецификация

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

Стр.:

P.7-59.

Реферат:

Алгоритм проверки достаточной полноты простого класса спецификаций.

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

Bibliogr.: p.49-50

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

Источник:

Том:

II

Карточка:

Б2.24, Б2.11.

Remy J., Uhrig S..

An algorithm for testing sufficient completeness of a simple class of conditional specifications-Tallinn.// Informatics 89, 1990.-Vol. II.-P.7-59.
Bibliogr.: p.49-50

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

PAP1 133