Back, Ralph-Johan
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright. - New York [etc.] : Springer , cop. 1998 . - XV, 519 p. : il. ; 25 cm. - (Graduate texts in computer science)
ISBN 0-387-98417-8
Programação de computadores
Lógica de computador
Cálculo
LCC QA76.6
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright. - New York [etc.] : Springer , cop. 1998 . - XV, 519 p. : il. ; 25 cm. - (Graduate texts in computer science)
ISBN 0-387-98417-8
Programação de computadores
Lógica de computador
Cálculo
LCC QA76.6