00922nam a2200253 a 450000100060000000300080000600500170001400800410003102000210007202000210009303500190011404000320013304100080016508200260017310000290019924500810022826000530030930000360036250400370039865000420043594200120047799900170048995201620050665943BD-RjUL20211209081502.0170313s1997    enka     b    001 0 eng    a0521550416 (hbk)  a0521559766 (pbk)  a(BD-RjUL)66073  aDLCcDLCdUKMdBD-RjULbeng  aeng00223a005.133bJAW 19971 aJacky, Jonathan.919501814aThe way of Z :bpractical programming with formal methods /cJonathan Jacky.  aCambridge :bCambridge University Press,cc1997.  axviii, 350 p. :bill. ;c25 cm.  aIncludes bibliography and index. 0aZ (Computer program language)9195019  2ddccBK  c65943d65943  00102ddc40718NFICaRUCLbRUCLcReadingd2010-09-25eDhaka, Paragon Enterprises Ltd.g27.99l0o005.133 JAW 1997r2017-03-13 00:00:00tC-1w2021-12-09yBK