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: Abstract state machines 2003
    sub title: advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
  name:
    name part: ASM 2003 (2003 : Taormina, Italy)
    role:
      role term: creator
  name:
    name part: Börger, E. (Egon)
    name part: 1946-
  name:
    name part: Gargantini, Angelo
    name part: 1969-
  name:
    name part: Riccobene, Elvinia
    name part: 1964-
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Kongress.
  genre: Taormina (2003)
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 2003
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xi, 424 pages) : illustrations
  note: Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Machine theory
    genre: Congresses
  subject:
    topic: Abstracte machines
  subject:
    topic: ENGENHARIA DE PROGRAMAÇÃO
  subject:
    topic: ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS
  subject:
    topic: LÓGICA MATEMÁTICA
  subject:
    topic: Automates mathématiques, Théorie des
    genre: Congrès
  subject:
    topic: Machine theory
  subject:
    topic: Abstracte machines
  subject:
    topic: ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS
  subject:
    topic: ENGENHARIA DE PROGRAMAÇÃO
  subject:
    topic: Logica matematica
  subject:
    topic: Abstrakte Zustandsmaschine
  subject:
    topic: Formale Methode
  subject:
    topic: Kongress
  subject:
    topic: Verifikation
  classification: QA267 .A86 2003
  classification: 511.3
  classification: 54.10
  classification: 28
  classification: DAT 550f
  classification: SS 2003
  classification: SS 4800
  related item:
    title info:
      title: Lecture notes in computer science ; 2589
  identifier: 3540006249
  identifier: 9783540006244
  identifier: 2003042501
  identifier: http://proxy.library.tamu.edu/login
  identifier: http://link.springer-ny.com/link/service/series/0558/tocs/t2589.htm
  related item:
    location:
      url: http://link.springer-ny.com/link/service/series/0558/tocs/t2589.htm
  record info:
    record content source: DLC
    record creation date: 030129
    record change date: 20190325110228.0
    record identifier: in00001758759
    language of cataloging:
      language term: eng