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: FM 2005
    sub title: formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
  title info:
    title: Formal methods 2005
  title info:
    title: International Symposium of Formal Methods Europe
  title info:
    title: FME
  title info:
    title: Formal methods Europe
  name:
    name part: International Symposium of Formal Methods Europe 2005 : Newcastle upon Tyne, England)
    role:
      role term: creator
  name:
    name part: Fitzgerald, John
    name part: 1965-
  name:
    name part: Hayes, Ian.
  name:
    name part: Tarlecki, Andrzej.
  type of resource: text
  genre: conference publication
  origin info:
    place:
      place term: gw
    date issued: 2005
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    form: remote
    extent: xiv, 558 pages : illustrations ; 24 cm.
  note: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).
  note: "13th International Symposium of Formal Methods Europe"--Pref.
  note: Also issued online.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer software
    topic: Development
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: System design
    genre: Congresses
  related item:
    title info:
      title: Lecture notes in computer science. 3582
  identifier: 3540278826 (pbk.)
  identifier: 2005928720
  identifier: http://proxy.library.tamu.edu/login
  related item:
    location:
      url: http://proxy.library.tamu.edu/login
  record info:
    record content source: OHX
    record creation date: 050715
    record change date: 20190326103225.0
    record identifier: in00002095590