Вы здесь
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language (Short Version)
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.100-111.
Библиография:
Bibliogr.: p.111.
Источник:
Том:
854
Карточка:
Б3.15.
Bouge L., Le Guyadec Y., Utard G., Virot B..
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language (Short Version)// Lecture Notes in Computer Science-1994.-Vol. 854.-P.100-111.
Bibliogr.: p.111.
Таблица в старой библиотеке:
PAP10 161