Correctness-Preserving Transformations for the Design of Parallel Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

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

программа

трансформация

корректность

верификация

алгоритм

Стр.:

P.29-48

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

Bibliogr.: p.48

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

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

Springer-Verlag

Серия:

Lecture Notes in Computer Science

Источник:

Object-Based Models and Languages for Concurrent Systems

Том:

924

Карточка:

Б3.21, Б2.23.

Brown N..

Correctness-Preserving Transformations for the Design of Parallel Programs-Berlin.: Springer-Verlag// Object-Based Models and Languages for Concurrent Systems, 1995.-Vol. 924.-P.29-48-(Lecture Notes in Computer Science).
Bibliogr.: p.48

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

PAP12 487