<?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>01563cam a2200361 a 4500</leader>
  <controlfield tag="001">14915367</controlfield>
  <controlfield tag="003">OSt</controlfield>
  <controlfield tag="005">20150408114031.0</controlfield>
  <controlfield tag="008">070703s2008    nyua     b    001 0 eng  </controlfield>
  <datafield tag="010" ind1=" " ind2=" ">
    <subfield code="a">  2007027740</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780521886550 (hardback)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0521886554 (hardback)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780521687614 (pbk.)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0521687616 (pbk.)</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">(OCoLC)ocn154309168</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">(OCoLC)154309168</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">DLC</subfield>
    <subfield code="c">DLC</subfield>
    <subfield code="d">YDX</subfield>
    <subfield code="d">BTCTA</subfield>
    <subfield code="d">BAKER</subfield>
    <subfield code="d">YDXCP</subfield>
    <subfield code="d">DLC</subfield>
  </datafield>
  <datafield tag="050" ind1="0" ind2="0">
    <subfield code="a">QA76.76.T48</subfield>
    <subfield code="b">M59 2008</subfield>
  </datafield>
  <datafield tag="082" ind1="0" ind2="0">
    <subfield code="a">005.133</subfield>
    <subfield code="2">22</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
    <subfield code="a">Model-based software testing and analysis with C# /</subfield>
    <subfield code="c">Jonathan Jacky ... [et  al.].</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>
    <subfield code="c">25 cm.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references (p. 333-339) and index.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Testing.</subfield>
    <subfield code="9">12201</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Computer software</subfield>
    <subfield code="x">Quality control.</subfield>
    <subfield code="9">13183</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">C# (Computer program language)</subfield>
    <subfield code="9">4270</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Jacky, Jonathan.</subfield>
    <subfield code="9">13184</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="2">
    <subfield code="3">Contributor biographical information</subfield>
    <subfield code="u">http://www.loc.gov/catdir/enhancements/fy0743/2007027740-b.html</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="1">
    <subfield code="3">Table of contents only</subfield>
    <subfield code="u">http://www.loc.gov/catdir/enhancements/fy0743/2007027740-t.html</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="2">
    <subfield code="3">Publisher description</subfield>
    <subfield code="u">http://www.loc.gov/catdir/enhancements/fy0743/2007027740-d.html</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="2">ddc</subfield>
    <subfield code="c">BOOK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">22945</subfield>
    <subfield code="d">257445</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-10</subfield>
    <subfield code="h">CL</subfield>
    <subfield code="i">00086250</subfield>
    <subfield code="m">CL</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-10</subfield>
    <subfield code="h">CL</subfield>
    <subfield code="i">00086251</subfield>
    <subfield code="m">CL</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-31</subfield>
    <subfield code="h">IC</subfield>
    <subfield code="i">00086911</subfield>
    <subfield code="m">IC</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-31</subfield>
    <subfield code="h">IC</subfield>
    <subfield code="i">00086912</subfield>
    <subfield code="m">IC</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-31</subfield>
    <subfield code="h">IC</subfield>
    <subfield code="i">00086913</subfield>
    <subfield code="m">IC</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-31</subfield>
    <subfield code="h">SZM</subfield>
    <subfield code="i">00087775</subfield>
    <subfield code="m">SZM</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-05-31</subfield>
    <subfield code="h">SZM</subfield>
    <subfield code="i">00087776</subfield>
    <subfield code="m">SZM</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-06-01</subfield>
    <subfield code="h">EZF</subfield>
    <subfield code="i">00087612</subfield>
    <subfield code="m">EZF</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-06-01</subfield>
    <subfield code="h">EZF</subfield>
    <subfield code="i">00087613</subfield>
    <subfield code="m">EZF</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-06-04</subfield>
    <subfield code="h">IC</subfield>
    <subfield code="i">00085535</subfield>
    <subfield code="m">IC</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="1">0</subfield>
    <subfield code="2">2013-03-10</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">005.133 M O S</subfield>
    <subfield code="d">2012-06-04</subfield>
    <subfield code="h">IC</subfield>
    <subfield code="i">00085536</subfield>
    <subfield code="m">IC</subfield>
    <subfield code="r">2013-03-10 00:00:00</subfield>
    <subfield code="t">BOOK</subfield>
    <subfield code="w">ddc</subfield>
    <subfield code="y">0</subfield>
  </datafield>
</record>
