01667nam--2200469---450-99000035463020331620031016110924.00035461USA010035461(ALEPH)000035463USA01003546120010309d1982----km-y0itay0103----baengUSa|||||||001yyFormal specification and software developmentDines Bjorner and Cliff B. Jonesin collaboration with Derek Andrews ... [et al.]with the assistence of Arie de Bruin, Jeffrey ZuckerEnglewood CliffsPrentice-Hallcopyr. 1982X, 501 p.ill.23 cmPrentice-Hall International series in computer science2001Prentice-Hall International series in computer science001-------2001Elaboratori elettroniciProgrammazioneElaboratori elettroniciLinguaggi di programmazione001.642BJORNER,Dines543323JONES,Cliff B.26769ANDREWS,DerekITsalbcISBD990000354630203316001.6 SCS 1019462001.600105304001.6 SCS (3)19985 Ing001.6BKSCITECPATTY9020010309USA01142220020403USA011643SIAV51020031016USA011102SIAV51020031016USA011104SIAV51020031016USA011109PATRY9020040406USA011625Formal specification and software development876382UNISA