TY  - BOOK
T1  - A survey of verification techniques for parallel programs
T2  - Lecture notes in computer science ; 191
A1  - Barringer, Howard
LA  - English
PP  - Berlín
PB  - [S.n.]
YR  - 1985
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.50156
OP  - 112
SN  - 3540152393
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - PROGRAMACIÓN PARALELA
KW  - REUNIONES
ER  -