<?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>SDL 2007: Design for Dependable Systems</title>
    <subTitle>13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Gaudin, Emmanuel.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Najm, Elie.</namePart>
  </name>
  <name type="personal">
    <namePart>Reed, Rick.</namePart>
  </name>
  <name type="corporate">
    <namePart>SpringerLink (Online service)</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">gw</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Berlin, Heidelberg</placeTerm>
    </place>
    <publisher>Springer Berlin Heidelberg</publisher>
    <dateIssued>2007</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">electronic</form>
    <form authority="gmd">electronic resource</form>
    <reformattingQuality>access</reformattingQuality>
    <extent>digital.</extent>
  </physicalDescription>
  <note type="statement of responsibility">edited by Emmanuel Gaudin, Elie Najm, Rick Reed.</note>
  <subject authority="lcsh">
    <topic>Computer science</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Computer network architectures</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Software engineering</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Logic design</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Information Systems</topic>
  </subject>
  <subject>
    <topic>Computer Science</topic>
  </subject>
  <subject>
    <topic>Computer Systems Organization and Communication Networks</topic>
  </subject>
  <subject>
    <topic>Software Engineering</topic>
  </subject>
  <subject>
    <topic>Logics and Meanings of Programs</topic>
  </subject>
  <subject>
    <topic>Management of Computing and Information Systems</topic>
  </subject>
  <classification authority="lcc">QA76.9.C643</classification>
  <classification authority="lcc">TK5105.5-5105.9</classification>
  <classification authority="ddc" edition="23">004.6</classification>
  <relatedItem type="series">
    <titleInfo>
      <title>Lecture Notes in Computer Science, 4745</title>
    </titleInfo>
  </relatedItem>
  <relatedItem type="host">
    <titleInfo>
      <title>Springer eBooks</title>
    </titleInfo>
  </relatedItem>
  <relatedItem type="otherFormat" displayLabel="Printed edition:"/>
  <relatedItem type="series">
    <titleInfo>
      <title>Lecture Notes in Computer Science, 4745</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn">9783540749844</identifier>
  <identifier type="uri">http://dx.doi.org/10.1007/978-3-540-74984-4</identifier>
  <location>
    <url>http://dx.doi.org/10.1007/978-3-540-74984-4</url>
  </location>
  <recordInfo>
    <recordCreationDate encoding="marc">100301</recordCreationDate>
    <recordChangeDate encoding="iso8601">20130515021708.0</recordChangeDate>
    <recordIdentifier source="DE-He213">978-3-540-74984-4</recordIdentifier>
  </recordInfo>
</mods>
