Vista normal Vista MARC Vista ISBD

Back, Ralph-Johan,

Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright - 519 páginas - Graduate texts in computer science .

ISBN: 0387984178 (papel alcalino)

Subjects--Topical Terms:
Programación de computadoras
Cálculo
Lógica computacional

LC Class. No.: QA76.6 / B333

Dewey Class. No.: 005.1/4