PakCat catalogue record The B Book Assigning programs to meanings21/03/2014 12:02 By Abrial, J.R. Bibliographic details Publisher2004 Publication placeNew YorkCD21771 Publication year2005 LanguageEnglish Material typeBook Physical descriptionxxi SubjectsComputer Sciences