000 00710nam a22002297a 4500
003 SNU
005 20140807184821.0
008 140807b xxu||||| |||| 00| 0 eng d
020 _a9780201634600
028 _aHCL
082 _a005.117 MIT
100 _a Mitchell, Richard, ;
_a McKim, Jim
245 _aDesign by contract, by example
_c/ Richard Mitchell; Jim McKim
260 _aBoston, MA
_b : Addison Wesley,
_c© 2002.
300 _axv, 238 p.
_b: ill.
_c ; 24 cm.
655 _a Object-oriented programming (Computer science)
655 _aComputer-aided design.
655 _aDesign by contract, by example
655 _acomputer science
655 _aRichard Mitchell
942 _2ddc
_cHCL
999 _c23212
_d23212