Derivation of Parallel Algorithms from Functional Specifications to CSP Processes

Вы здесь

Автор:

Abdallah A. E.

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

Вид:

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

Год:

1995

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

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

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

алгоритм

Стр.:

P.67-96

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

Bibliogr.: p.96

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

947

Карточка:

Б2.12, Б2.24.

Abdallah A. E..

Derivation of Parallel Algorithms from Functional Specifications to CSP Processes: Springer// Lecture Notes in Computer Science-1995.-Vol. 947.-P.67-96
Bibliogr.: p.96

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

PAP24 523