RT Book, Whole SR Print DC OPAC T1 The B-book : assigning programs to meanings A1 Abrial, Jean-Raymond. FD 1996. SP xxxiv, 779 p. K1 B (Computer program language) K1 Programming (Electronic computers) PB Cambridge University Press PP Cambridge PP New York SN 0521496195 CL NDC:007.64 NO Includes index. NO 書誌ID=1000210709; NCID=BA28484188; LK [OPAC]https://opac.icu.ac.jp/opac/opac_link/bibid/1000210709 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA28484188; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0521496195