01112nam--2200373---450-9900003719102033160-387-98417-80037191USA010037191(ALEPH)000037191USA01003719120010323d1988----km-y0itay0103----baengUS||||||||001yyRefinement calculusa systematics introductionRalph-Johan Back, Joackim von WrightNew YorkSpringerc1988XV, 519 p.24 cmGraduate texts in computer science2001Graduate texts in computer science001-------2001005.14BACK,Ralph-Johan543932WRIGHT,Joakim, von543933ITsalbcISBD990000371910203316005.14 BAC10544 Ing005.14 BACBKTECPATTY9020010323USA01112520020403USA011645PATRY9020040406USA011626Refinement calculus877545UNISA