TY  - BOOK
AU  - Francez,Nissim
TI  - Fairness
T2  - Texts and monographs in computer science
SN  - 9781461293477
PY  - 1986///
CY  - Nueva York
PB  -  Springer-Verlag
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - PROGRAMACIÓN CONCURRENTE
KW  - PROGRAMACIÓN PARALELA
KW  - INGENIERÍA DE SOFTWARE
KW  - justicia
N1  - Incluye índice y bibliografía
ER  -