00375nam a2200133Ia 4500008004100000020002500041040002600066082001400092100001700106245004500123260005200168003000400220005001700224241217s9999||||xx |||||||||||||| ||und||  a9780077079680c132.2  bengcSSK Libraryerda  a005.3 CAS  a Chris Casey 2aA Programming Approach To Formal Methods  b Mcgraw-Hill International (Uk) Limitedc©1994OSt20241217112911.0