<?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>00970nam a2200253 a 4500</leader>
  <controlfield tag="001">vtls000000579</controlfield>
  <controlfield tag="003">KUKTEM</controlfield>
  <controlfield tag="005">20251117141535.0</controlfield>
  <controlfield tag="008">060614t1996    maua   f     a001 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">026207172X</subfield>
  </datafield>
  <datafield tag="039" ind1=" " ind2="9">
    <subfield code="a">201107131625</subfield>
    <subfield code="b">VLOAD</subfield>
    <subfield code="c">201002030912</subfield>
    <subfield code="d">ida</subfield>
    <subfield code="c">200908140944</subfield>
    <subfield code="d">VLOAD</subfield>
    <subfield code="c">200908140925</subfield>
    <subfield code="d">VLOAD</subfield>
    <subfield code="y">200606141059</subfield>
    <subfield code="z">VLOAD</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">UMP</subfield>
  </datafield>
  <datafield tag="090" ind1=" " ind2=" ">
    <subfield code="a">QA76.7 .G63 1996</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Goguen, Joseph</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Algebraic semantics of imperative programs /</subfield>
    <subfield code="c">Joseph A. Goguen and Grant Malcolm</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Cambridge, Mass. :</subfield>
    <subfield code="b">MIT Press,</subfield>
    <subfield code="c">c1996</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">vii, 228 p. :</subfield>
    <subfield code="b">ill. ;</subfield>
    <subfield code="c">24 cm.</subfield>
  </datafield>
  <datafield tag="440" ind1=" " ind2="0">
    <subfield code="a">Foundations of computing</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references (p. [223]-225) and index</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Programming languages (Electronic computers)</subfield>
    <subfield code="x">Semantics</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Algebra</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Malcolm, Grant</subfield>
  </datafield>
  <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">20000</subfield>
    <subfield code="b">20000</subfield>
    <subfield code="d">2019-09-04</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA76.7 .G63 1996</subfield>
    <subfield code="p">0000001110</subfield>
    <subfield code="r">2019-09-04 00:00:00</subfield>
    <subfield code="w">2019-09-04</subfield>
    <subfield code="y">OPEN</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="a">VIRTUA40             </subfield>
    <subfield code="c">19129</subfield>
    <subfield code="d">19135</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="a">VTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*4400*5040*6500*6501*7000*9991</subfield>
  </datafield>
</record>
