<?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>01131cam a2200277 a 4500</leader>
  <controlfield tag="005">20260819084422.0</controlfield>
  <controlfield tag="008">060908s1991    us      r     100|0 eng |</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">3540544151</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">.b10726780</subfield>
  </datafield>
  <datafield tag="050" ind1="0" ind2="0">
    <subfield code="a">QA76.758</subfield>
    <subfield code="b">I583 1991</subfield>
  </datafield>
  <datafield tag="111" ind1="2" ind2=" ">
    <subfield code="a">International Conference on Theoretical Aspects of Computer Software</subfield>
    <subfield code="n">(1st :</subfield>
    <subfield code="d">1991 :</subfield>
    <subfield code="c">Tohoku University, Sendai, Japan)</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Theoretical aspects of computer software :</subfield>
    <subfield code="b">International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings /</subfield>
    <subfield code="c">T. Ito and A. R. Meyer (eds.)</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Berlin :</subfield>
    <subfield code="b">Springer-Verlag,</subfield>
    <subfield code="c">1991</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">770 p.</subfield>
  </datafield>
  <datafield tag="440" ind1=" " ind2="0">
    <subfield code="a">Lecture notes in computer science ;</subfield>
    <subfield code="v">no. 526</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer software</subfield>
    <subfield code="v">Congresses</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Ito, T.,</subfield>
    <subfield code="e">ed.</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Meyer, A. R.,</subfield>
    <subfield code="e">ed.</subfield>
  </datafield>
  <datafield tag="907" ind1=" " ind2=" ">
    <subfield code="a">.b10726780</subfield>
    <subfield code="b">mngc </subfield>
    <subfield code="c">-</subfield>
  </datafield>
  <datafield tag="902" ind1=" " ind2=" ">
    <subfield code="a">121025</subfield>
  </datafield>
  <datafield tag="998" ind1=" " ind2=" ">
    <subfield code="b">1</subfield>
    <subfield code="c">951012</subfield>
    <subfield code="d">m</subfield>
    <subfield code="e">a  </subfield>
    <subfield code="f">-</subfield>
    <subfield code="g">0</subfield>
  </datafield>
  <datafield tag="945" ind1=" " ind2=" ">
    <subfield code="l">mngc </subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">14</subfield>
  </datafield>
  <datafield tag="909" ind1=" " ind2=" ">
    <subfield code="a">Barcode : 30050003170411</subfield>
    <subfield code="b">CREATED : 1995-10-16</subfield>
    <subfield code="c">RECORD # : i1093246x</subfield>
    <subfield code="d">LPATRON : 0</subfield>
    <subfield code="e">LCHKIN : -</subfield>
    <subfield code="f"># RENEWALS : 0</subfield>
    <subfield code="g"># OVERDUE : 0</subfield>
    <subfield code="h">IUSE3 : 0</subfield>
    <subfield code="i">TOT CHKOUT : 0</subfield>
    <subfield code="j">TOT RENEW : 0</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">120108</subfield>
    <subfield code="d">120108</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">MAIN</subfield>
    <subfield code="b">MAIN</subfield>
    <subfield code="c">mngc</subfield>
    <subfield code="d">2026-08-19</subfield>
    <subfield code="g">10.00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA76.758 I583 1991</subfield>
    <subfield code="p">30050003170411</subfield>
    <subfield code="r">2026-08-19 08:44:22</subfield>
    <subfield code="t">1</subfield>
    <subfield code="w">2026-08-19</subfield>
    <subfield code="y">14</subfield>
  </datafield>
</record>
