<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Model-based software testing and analysis with C�A</title>
  </titleInfo>
  <name type="personal">
    <namePart>Jacky, Jonathan.</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>Cambridge University Press</publisher>
    <dateIssued>2008</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>xvi, 349 p. : ill. ; 25 cm.</extent>
  </physicalDescription>
  <note type="statement of responsibility">Jonathan Jacky ... [et  al.].</note>
  <note>Includes Index.</note>
  <note>Includes bibliographical references.</note>
  <note>Includes bibliographical references.  </note>
  <subject authority="lcsh">
    <topic>Computer software</topic>
    <topic>Testing</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Computer software</topic>
    <topic>Quality control</topic>
  </subject>
  <subject authority="lcsh">
    <topic>C�A (Computer program language)</topic>
  </subject>
  <classification authority="lcc">QA76.76.T48 JON </classification>
  <identifier type="isbn">9780521687614 (pbk.)</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg"/>
    <recordCreationDate encoding="marc">      </recordCreationDate>
    <recordChangeDate encoding="iso8601">20230123124952.0</recordChangeDate>
  </recordInfo>
</mods>
