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