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: Formal methods
    sub title: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
  title info:
    title: FMICS 2006
  title info:
    title: PDMC 2006
  name:
    name part: International Workshop on Formal Methods for Industrial Critical Systems 2006 : Bonn, Germany)
    role:
      role term: creator
  name:
    name part: Brim, Lubǒs.
  name:
    name part: SpringerLink (Online service)
  name:
    name part: PDMC 2006 (2006 : Bonn, Germany)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 2007
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: remote
    extent: x, 361 pages : illustrations ; 24 cm.
  note: Luboš Brim [and others] (eds.).
  note: Electronic resource.
  note: Electronic reproduction. New York : Springer, 2007. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Dec. 13, 2007). Access may be restricted to users at subscribing institutions.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer programs
    topic: Reliability
    genre: Congresses
  subject:
    topic: Computer programs
    topic: Verification
    genre: Congresses
  subject:
    topic: Computer software
    topic: Reliability
    genre: Congresses
  subject:
    topic: Computer software
    topic: Verification
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: Software engineering
    genre: Congresses
  classification: QA76.9.F67 I594 2006eb
  classification: 004.01/51
  related item:
    identifier: (DLC) 2007921124
    identifier: (OCoLC)85770611
  related item:
    title info:
      title: Lecture notes in computer science. 4346
  identifier: 3540709525
  identifier: 9783540709527
  identifier: 978-3-540-70951-0 Springer
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: GW5XE
    record creation date: 071223
    record change date: 20210803091326.0
    record identifier: in00002375970