A Specification-Based Methodology for Testing Concurrent Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

параллельный

программа

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

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

Стр.:

P.154-172

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

Bibliogr.: p.171-172

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Software Engineering - ESEC 95

Том:

989

Карточка:

Б3.54.

Tai K. -C., Carver K. H..

A Specification-Based Methodology for Testing Concurrent Programs-Berlin, Heidelberg.: Springer// Software Engineering - ESEC 95, 1995.-Vol. 989.-P.154-172-(Lecture Notes in Computer Science).
Bibliogr.: p.171-172

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

PAP13 708