00333nam a2200133Ia 4500008004100000020001000041040002600051082001500077100002400092245003500116260002700151003000400178005001700182241217s9999||||xx |||||||||||||| ||und||  c55.45  bengcSSK Libraryerda  a004.21 HIN  a Micheal G. Hinchey 0aApplications Of Formal Methods  b Prentice Hallc©1995OSt20241217112742.0