Вы здесь

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