rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Software and systems safety
    sub title: specification and verification
  name:
    name part: Broy, Manfred.
  name:
    name part: Leuxner, Christian.
  name:
    name part: Hoare, A. G.
  name:
    name part: ebrary, Inc
  name:
    name part: NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam, The Netherlands
    publisher: IOS Press
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    form: remote
    extent: ix, 285 p. : ill. (some col.).
  note: edited by Manfred Broy, Christian Leuxner and Tony Hoare.
  note: Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
  note: Includes bibliographical references and indexes.
  subject:
    topic: Software protection
    genre: Congresses
  subject:
    topic: Computer software
    topic: Reliability
    genre: Congresses
  subject:
    topic: Software engineering
    genre: Congresses
  subject:
    topic: Computer security
    genre: Congresses
  subject:
    topic: System safety
    genre: Congresses
  classification: QA76.76.P76 S64 2011eb
  related item:
    title info:
      title: NATO science for peace and security series. v. 30
      part number: Sub-series D
      part name: Information and communication security
  identifier: 9781607507109
  identifier: 9781607507116 (e-book)
  identifier: 2011922667
  identifier: http://site.ebrary.com/lib/daystar/Doc
  record info:
    record content source: CaPaEBR
    record creation date: 110209
    record change date: 20171002061713.0
    record identifier: 0000141005