<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>00710nam a22002297a 4500</leader>
  <controlfield tag="003">SNU</controlfield>
  <controlfield tag="005">20140807184821.0</controlfield>
  <controlfield tag="008">140807b        xxu||||| |||| 00| 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780201634600</subfield>
  </datafield>
  <datafield tag="028" ind1=" " ind2=" ">
    <subfield code="a">HCL</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">005.117 MIT</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">    Mitchell, Richard, ;</subfield>
    <subfield code="a"> McKim, Jim</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Design by contract, by example</subfield>
    <subfield code="c">/ Richard Mitchell; Jim McKim</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Boston, MA</subfield>
    <subfield code="b"> : Addison Wesley, </subfield>
    <subfield code="c">&#xA9; 2002.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xv, 238 p.</subfield>
    <subfield code="b">: ill.</subfield>
    <subfield code="c"> ; 24 cm.</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a"> Object-oriented programming (Computer science) </subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Computer-aided design. </subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Design by contract, by example</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">computer science</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2=" ">
    <subfield code="a">Richard Mitchell</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">HCL</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">23212</subfield>
    <subfield code="d">23212</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">1</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">SNUL</subfield>
    <subfield code="b">SNUL</subfield>
    <subfield code="d">2014-08-07</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.117 MIT</subfield>
    <subfield code="p">H9982</subfield>
    <subfield code="r">2014-08-07 00:00:00</subfield>
    <subfield code="w">2014-08-07</subfield>
    <subfield code="y">HCL</subfield>
  </datafield>
</record>
