Francez, Nissim
Fairness
- 1a ed.
- Nueva York : Springer-Verlag, c1986
- xiii, 295 p. : il.
- Texts and monographs in computer science .
Incluye índice y bibliografía.
9781461293477
DIF-M7124
VERIFICACIÓN DE PROGRAMAS
PROGRAMACIÓN CONCURRENTE
PROGRAMACIÓN PARALELA
INGENIERÍA DE SOFTWARE
justicia