<?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>01431nac a22003131u 4500</leader>
  <datafield tag="010" ind1=" " ind2=" ">
    <subfield code="a">  2006013530</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">1591408512 (hardcover)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">1591408520 (softcover)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">1591408539 (ebook)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9781591408529</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">(OCoLC)ocm67840181</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
    <subfield code="a">005.14</subfield>
    <subfield code="b">DAS</subfield>
  </datafield>
  <datafield tag="090" ind1=" " ind2=" ">
    <subfield code="c">6250</subfield>
    <subfield code="d">6250</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Dasso, Aristides .           </subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
    <subfield code="a">Verification, validation and testing in software engineering /</subfield>
    <subfield code="c">Aristides Dasso, Ana Funes [editors].</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Hershey, PA :</subfield>
    <subfield code="b">Idea Group Pub.,c2007.</subfield>
    <subfield code="c">c2007.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xi, 428 p. :</subfield>
    <subfield code="b">ill. ;</subfield>
    <subfield code="c">26 cm.</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Distributer: AcademicBookShop.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references and index.</subfield>
  </datafield>
  <datafield tag="511" ind1=" " ind2=" ">
    <subfield code="a">Catalogued By: Mahitab.</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">"This book explores different applications in V &amp; V that spawn many areas of software development -including real time applications- where V &amp; V techniques are required, providing in all cases examples of the applications"--Provided by publisher.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Validation.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Verification.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Testing.</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Funes, Ana,</subfield>
    <subfield code="d">1964-</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="1">
    <subfield code="3">Table of contents</subfield>
    <subfield code="u">http://www.loc.gov/catdir/toc/ecip0612/2006013530.html</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BB</subfield>
    <subfield code="k">005.14DAS</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">6250</subfield>
    <subfield code="d">6250</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">LOW</subfield>
    <subfield code="d">2007-11-19</subfield>
    <subfield code="e">Purchase</subfield>
    <subfield code="l">3</subfield>
    <subfield code="o">005.14DAS</subfield>
    <subfield code="p">000007840</subfield>
    <subfield code="r">2025-07-15 00:00:00</subfield>
    <subfield code="s">2019-03-17</subfield>
    <subfield code="y">BB</subfield>
  </datafield>
</record>
