<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>00930nam a2200253 a 4500</leader>
  <controlfield tag="001">1/35433</controlfield>
  <controlfield tag="008">080919s2004    maua          001 0 eng  </controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">1402080239</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">1402080247 (ebook)</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="l">37947</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
   <subfield code="a">DLC</subfield>
   <subfield code="c">DLC</subfield>
   <subfield code="d">DLC</subfield>
   <subfield code="d">GR-PeUP</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
   <subfield code="a">621.39'2 IMA</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
   <subfield code="a">Iman, Sasan.</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="4">
   <subfield code="a">The e hardware verification language /</subfield>
   <subfield code="c">Sasan Iman, Sunita Joshi.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
   <subfield code="a">Boston :</subfield>
   <subfield code="b">Kluwer Academic Publishers,</subfield>
   <subfield code="c">c2004.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
   <subfield code="a">xv, 349 σ. :</subfield>
   <subfield code="b">εικ. ;</subfield>
   <subfield code="c">25 εκ.</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
   <subfield code="a">Περιέχει ευρετήριο.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="4">
   <subfield code="a">Computer hardware description languages.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="4">
   <subfield code="a">Integrated circuits</subfield>
   <subfield code="x">Verification.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="4">
   <subfield code="a">Computers</subfield>
   <subfield code="x">Circuits</subfield>
   <subfield code="x">Testing.</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Joshi, Sunita.</subfield>
  </datafield>
  <datafield tag="852" ind1=" " ind2=" ">
   <subfield code="a">INST</subfield>
   <subfield code="b">UNIPILB</subfield>
   <subfield code="c">MAIN</subfield>
   <subfield code="e">20080919</subfield>
   <subfield code="h">621.39'2 IMA</subfield>
   <subfield code="p">00156332</subfield>
   <subfield code="q">00156332</subfield>
   <subfield code="t">LOAN</subfield>
   <subfield code="y">0</subfield>
   <subfield code="4">1</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
   <subfield code="d">/webopac/covers/02/37947_1402080239.jpg</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
   <subfield code="d">/webopac/covers/02/37947_1402080247.jpg</subfield>
   <subfield code="z">(ebook)</subfield>
  </datafield>
 </record>
</collection>
