<?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>00306nam a2200121Ia 4500</leader>
  <controlfield tag="008">230718s9999||||xx |||||||||||||| ||und||</controlfield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">006.384 363  </subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">LINZ PETER</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2="0">
    <subfield code="a">INTRODUCTION TO FORMULA LANGUAGES AND AUTOMATA</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">4</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="b">NAROSA</subfield>
    <subfield code="c">2011</subfield>
    <subfield code="a">NEW DELHI</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">415</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">CIR:COM:6A:SH:I</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">2</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45793</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="s">2023-10-03</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">CIR:COM:6A:SH:I</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45794</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">CIR:COM:6A:SH:I</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">1</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45795</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="s">2023-09-07</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK2:COM:17A</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45796</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK2:COM:17A</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45797</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">CIR:COM:6A:SH:I</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45798</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK2:COM:17A</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45799</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">STACK2:COM:17A</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45800</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">CIR:COM:6A:SH:I</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45801</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</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="8">COM</subfield>
    <subfield code="a">NMA</subfield>
    <subfield code="b">NMA</subfield>
    <subfield code="c">CIR:COM:6A:SH:I</subfield>
    <subfield code="d">2014-11-06</subfield>
    <subfield code="e">MAHALAXMI</subfield>
    <subfield code="g">398.00</subfield>
    <subfield code="i">3018/14-15 /  2014-10-28</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">006.384 363  </subfield>
    <subfield code="p">45802</subfield>
    <subfield code="r">2025-07-01 00:00:00</subfield>
    <subfield code="w">2023-07-19</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">56310</subfield>
    <subfield code="d">56310</subfield>
  </datafield>
</record>
