00563cam a2200193 7i4500 0000007507 20150327090000.0 iicp-my 20021204215000.0 000000 00 007707968X 200212042150 VLOAD 005.3 CAS Casey, Chris. A Programming approach to formal methods Chris Casey.. England, London: McGraw-Hill Book Co, c1994.. p.: ill.; cm.. Popular Book Store 1000013128 Book Yellow Spot