01247nam--2200373---450-9900003546102033160035461USA010035461(ALEPH)000035461USA01003546120010309d1980----km-y0itay0103----baengUS||||||||001yyMathematical theory of program correctnessJacode Bakkerwith the assistence of Arie de Bruin, Jeffrey ZuckerEnglewood CliffsPrentice-Hall Internationalc1980XVI, 505 p.23 cmPrentice-Hall International series in computer science2001Prentice-Hall International series in computer science001-------2001001.6425BAKKER,Jacobus Willem de46130ZUCKER,JefferyITsalbcISBD990000354610203316001.6 SCS 710944001.600105301BKSCIPATTY9020010309USA011414PATTY9020010309USA01142020020403USA011643PATRY9020040406USA011625Mathematical theory of program correctness876383UNISA