Back, Ralph-Johan
Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright - New York: Springer 1998 - 519 p. - Graduate Texts in Computer Science .
Incluye bibliografía e índice p. 501
0387984178
CALCULO
PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) --PROGRAMACION
005.14 / B124r
Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright - New York: Springer 1998 - 519 p. - Graduate Texts in Computer Science .
Incluye bibliografía e índice p. 501
0387984178
CALCULO
PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) --PROGRAMACION
005.14 / B124r