Catálogo bibliográfico FCT/UNL
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
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca