<?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>00512nam a2200181   4500</leader>
  <controlfield tag="005">20250113102239.0</controlfield>
  <controlfield tag="008">250113b        |||||||| |||| 00| 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780262048637</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="c">PK-LaUMT</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">005.131</subfield>
    <subfield code="b">ESP-A</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Esparza, Javier</subfield>
    <subfield code="9">4195</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Automata theory :</subfield>
    <subfield code="b">an algorithmic approach /</subfield>
    <subfield code="c">by Javier Esparza and Michael Blondin</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Cambridge :</subfield>
    <subfield code="b">The MIT Press,</subfield>
    <subfield code="c">2023</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">541 p.</subfield>
  </datafield>
  <datafield tag="546" ind1=" " ind2=" ">
    <subfield code="a">Eng</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Machine theory</subfield>
    <subfield code="9">4196</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">136649</subfield>
    <subfield code="d">136649</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">01</subfield>
    <subfield code="b">01</subfield>
    <subfield code="d">2025-01-13</subfield>
    <subfield code="l">1</subfield>
    <subfield code="o">005.131 ESP-A</subfield>
    <subfield code="p">148471</subfield>
    <subfield code="r">2026-06-16 14:58:54</subfield>
    <subfield code="s">2025-12-05</subfield>
    <subfield code="w">2025-01-13</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
