Вы здесь

Главная

Formal Validation of Data Parallel Programs: Introducing the Assertional Approach

Автор: 
Bouge L.
Cachera D.
Le Guyadec Y.
Utard G.
Virot B.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Ключевые слова: 
параллельный
программирование
данные
программа
семантика
Стр.: 
P.252-281
Библиография: 
Bibliogr.: p.280-281
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
The Data Parallel Programming Model
Том: 
1132
Карточка: 

Б2.2, Б2.4.

Bouge L., Cachera D., Le Guyadec Y., Utard G., Virot B..

Formal Validation of Data Parallel Programs: Introducing the Assertional Approach-Berlin, Heidelberg.: Springer// The Data Parallel Programming Model, 1996.-Vol. 1132.-P.252-281-(Lecture Notes in Computer Science).
Bibliogr.: p.280-281

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