Dynamic Verification of C++ Generic Algorithms | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1997

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

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

верификация

алгоритм

программный

библиотека

Стр.:

P.314-323.

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

Bibliogr.: p.322

Источник:

IEEE Trans. on Software Engineering

Номер:

5

Том:

23

Карточка:

Б2.23, Б3.54.

Wang C., Musser D. R..

Dynamic Verification of C++ Generic Algorithms// IEEE Trans. on Software Engineering-1997, №5.-Vol. 23.-P.314-323.
Bibliogr.: p.322

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

PAP16 670