<?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>01027nam a2200337Ia 4500</leader>
  <controlfield tag="005">20260803094046.0</controlfield>
  <controlfield tag="008">251212s2008    xx            000 0 und d</controlfield>
  <datafield tag="245" ind1="1" ind2=" ">
    <subfield code="a">Model-based software testing and analysis with C# /</subfield>
    <subfield code="c">Jonathan Jacky.</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Jacky, Jonathan</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Veanes, Margus; Campbell, C.; Schulte, W.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New York :</subfield>
    <subfield code="b">Cambridge University Press,</subfield>
    <subfield code="c">2008.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xvi, 349 p.: </subfield>
    <subfield code="b">ill.</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="c">25 cm.</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographic references and index</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">978-0-521-68761-4</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Testing</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Quality Control</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">C# (Computer program language)</subfield>
  </datafield>
  <datafield tag="050" ind1=" " ind2=" ">
    <subfield code="a">005.133 M72j</subfield>
  </datafield>
  <datafield tag="943" ind1=" " ind2=" ">
    <subfield code="b">0</subfield>
    <subfield code="c">0</subfield>
    <subfield code="d">0</subfield>
    <subfield code="e">1</subfield>
    <subfield code="f">0</subfield>
    <subfield code="g">0</subfield>
    <subfield code="h">0</subfield>
    <subfield code="i">0</subfield>
    <subfield code="j">0</subfield>
  </datafield>
  <datafield tag="944" ind1=" " ind2=" ">
    <subfield code="b">1</subfield>
    <subfield code="c">1</subfield>
    <subfield code="d">0</subfield>
  </datafield>
  <datafield tag="953" ind1=" " ind2=" ">
    <subfield code="p">HED2592</subfield>
  </datafield>
  <datafield tag="546" ind1=" " ind2=" ">
    <subfield code="a">English</subfield>
  </datafield>
  <datafield tag="953" ind1=" " ind2=" ">
    <subfield code="c">CollLib</subfield>
  </datafield>
  <datafield tag="591" ind1=" " ind2=" ">
    <subfield code="a">0</subfield>
  </datafield>
  <datafield tag="336" ind1=" " ind2=" ">
    <subfield code="a">Text</subfield>
  </datafield>
  <datafield tag="337" ind1=" " ind2=" ">
    <subfield code="a">Unmediated</subfield>
  </datafield>
  <datafield tag="338" ind1=" " ind2=" ">
    <subfield code="a">Volume</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">lcc</subfield>
    <subfield code="c">BK</subfield>
    <subfield code="a">rizal</subfield>
    <subfield code="b">2015-04-07 23:18:19</subfield>
    <subfield code="d">rizal</subfield>
    <subfield code="e">2015-04-07 23:18:19</subfield>
  </datafield>
  <datafield tag="998" ind1=" " ind2=" ">
    <subfield code="a">3434</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">3421</subfield>
    <subfield code="d">3421</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="2">ddc</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">HED</subfield>
    <subfield code="b">HED</subfield>
    <subfield code="c">HED</subfield>
    <subfield code="d">2025-12-21</subfield>
    <subfield code="o">005.133 M72j</subfield>
    <subfield code="p">HED2592</subfield>
    <subfield code="r">2026-06-02 00:00:00</subfield>
    <subfield code="w">2025-12-21</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
</record>
