02115nam--2200553---450-99000115455020331620030623163420.03-540-44121-2000115455USA01000115455(ALEPH)000115455USA0100011545520021217d2002----km-y0itay0103----baENG||||||||001yyModular specification and verification of Object-oriented programsPeter MullerBerlinSpringer-Verlagcopyr.2002XIV,292 p.ill.20 cmLecture notes in computer science2262Programmazione oggetto-orientata005.1MullerPeter555240ITCBSISBD990001154550203316001 LNCS (2262)0026768 CBS00100112133BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011022DIGIUSEPPE9020030612USA011029DIGIUSEPPE9020030612USA011042DIGIUSEPPE9020030612USA011043DIGIUSEPPE9020030612USA011118DIGIUSEPPE9020030612USA011123DIGIUSEPPE9020030612USA011128DIGIUSEPPE9020030612USA011132DIGIUSEPPE9020030612USA011138DIGIUSEPPE9020030623USA011634PATRY9020040406USA011721Modular specification and verification of Object-oriented programs983397UNISAUSA50AdministrativeISSUESCISCI001 LNCS (2262)0026768 CBS001121332003061201Prest. 30 gg