<?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>00472pam a2200133 a 4500</leader>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">LCC</subfield>
    <subfield code="b">LCC</subfield>
    <subfield code="d">2012-06-20</subfield>
    <subfield code="e">Purchased</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">005.3028 HOW</subfield>
    <subfield code="p">0279</subfield>
    <subfield code="r">2012-06-20 00:00:00</subfield>
    <subfield code="t">1</subfield>
    <subfield code="w">2019-02-21</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">1240</subfield>
    <subfield code="d">1240</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0070305501 (pbk)</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
    <subfield code="a">005.3028</subfield>
    <subfield code="b">HOW</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Howden, William E.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Functional program testing and analysis</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New York</subfield>
    <subfield code="b">McGraw-Hill</subfield>
    <subfield code="c">1987</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xii, 175 p.</subfield>
    <subfield code="b">: ill.</subfield>
    <subfield code="c">;24 cm.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer programs-Testing</subfield>
    <subfield code="v">Functional program testing</subfield>
    <subfield code="v">Theoretical foundations</subfield>
    <subfield code="v">Functional analysis</subfield>
    <subfield code="v">Program functions</subfield>
    <subfield code="v">States and types</subfield>
    <subfield code="v">FC</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BK</subfield>
  </datafield>
</record>
