000 00301nam a22001337a 4500
008 170724b xxu||||| |||| 00| 0 eng d
020 _a9780201634600
041 _aeng
080 _a004
100 _a29
101 _aSHKI
245 _aDESIGN BY CONTRACT BY EXAMPLE
_cMITCHELL, R
942 _2udc
_cBK
999 _c21817
_d21817