01232nam 2200373 450 99000121127020331620031021181709.0000121127USA01000121127(ALEPH)000121127USA0100012112720031021d1982----km-y0itay0103----baengUK||||||||001yyFormal specification and software development[By]Dines Bjorner and Cliff B. JonesIn collaboration with Derek Andrews [et al...]Englewood CliffsPrentice-Hall Internationalcopyr. 1982X, 501 pill23 cmPrentice-Hall International series in computer sciencePrentice-Hall International series in computer science2001001-------2001001.642BJRNER,Dines556239JONES,Cliff B.26769ITsalbcISBD990001211270203316001.6 SCS (3)19985 Ing001.6BKTECSIAV21020031021USA011817PATRY9020040406USA011727Formal specification and software development984336UNISA