<?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>00580nam a22001817a 4500</leader>
  <controlfield tag="005">20260224105616.0</controlfield>
  <controlfield tag="008">260224b        |||||||| |||| 00| 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">978-0-2622-3169-5</subfield>
  </datafield>
  <datafield tag="050" ind1=" " ind2=" ">
    <subfield code="a">QA 76.9 .W56 1993 </subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">WINSKEL,GLYNN</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES: AN INTRODUCTION</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">2ND EDITION</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">CAMBRIDGE</subfield>
    <subfield code="b">THE MIT PRESS</subfield>
    <subfield code="c">1993</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">XVIII,361P.</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">INCLUDES BIBLIOGRAPHICAL REFERENCES AND INDEXES</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)- SEMANTICS</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">lcc</subfield>
    <subfield code="c">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">216601</subfield>
    <subfield code="d">216601</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="6">QA00767 W56  01993</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">SCT</subfield>
    <subfield code="9">375250</subfield>
    <subfield code="a">KSUL</subfield>
    <subfield code="b">KSUL</subfield>
    <subfield code="d">2026-02-24</subfield>
    <subfield code="i">111967</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 76.7 .W56 1993</subfield>
    <subfield code="p">A001030</subfield>
    <subfield code="r">2026-02-24 10:59:00</subfield>
    <subfield code="t">1</subfield>
    <subfield code="w">2026-02-24</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="6">QA00767 W56  01993</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">SCT</subfield>
    <subfield code="9">375253</subfield>
    <subfield code="a">KSUL</subfield>
    <subfield code="b">KSUL</subfield>
    <subfield code="d">2026-02-24</subfield>
    <subfield code="i">111968</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 76.7 .W56 1993</subfield>
    <subfield code="p">A001029</subfield>
    <subfield code="r">2026-02-24 11:01:00</subfield>
    <subfield code="t">2</subfield>
    <subfield code="w">2026-02-24</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="6">QA00767 W56  01993</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">SCT</subfield>
    <subfield code="9">375257</subfield>
    <subfield code="a">KSUL</subfield>
    <subfield code="b">KSUL</subfield>
    <subfield code="d">2026-02-24</subfield>
    <subfield code="i">111969</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 76.7 .W56 1993</subfield>
    <subfield code="p">A001031</subfield>
    <subfield code="r">2026-02-24 11:04:00</subfield>
    <subfield code="t">3</subfield>
    <subfield code="w">2026-02-24</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="6">QA00767 W56  01993</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">SCT</subfield>
    <subfield code="9">375260</subfield>
    <subfield code="a">KSUL</subfield>
    <subfield code="b">KSUL</subfield>
    <subfield code="d">2026-02-24</subfield>
    <subfield code="i">111970</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 76.7 .W56 1993</subfield>
    <subfield code="p">A001032</subfield>
    <subfield code="r">2026-02-24 11:04:00</subfield>
    <subfield code="t">4</subfield>
    <subfield code="w">2026-02-24</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">lcc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="6">QA00767 W56  01993</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">SCT</subfield>
    <subfield code="9">375263</subfield>
    <subfield code="a">KSUL</subfield>
    <subfield code="b">KSUL</subfield>
    <subfield code="d">2026-02-24</subfield>
    <subfield code="i">111971</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA 76.7 .W56 1993</subfield>
    <subfield code="p">-A001034</subfield>
    <subfield code="r">2026-02-24 11:04:00</subfield>
    <subfield code="t">5</subfield>
    <subfield code="w">2026-02-24</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
