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: Temporal logic in specification
    sub title: Altrincham, Uk, April 8-10, 1987 : proceedings
  name:
    name part: Banieqbal, B. (Behnam)
    name part: 1960-
    role:
      role term: edt
  name:
    name part: Barringer, Howard
    name part: 1951-
    role:
      role term: edt
  name:
    name part: Pnueli, Amir
    name part: 1941-2009
    role:
      role term: edt
  name:
    name part: Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
  type of resource: text
  origin info:
    place:
      place term: gw
    place:
      place term: Berlin
    place:
      place term: Heidelberg
    publisher: Springer
    date issued: c1989
    date issued: 1989
    issuance: monographic
  language:
    language term: eng
  physical description:
    extent: vi, 448 σ. : εικ. ; 24 εκ.
  note: B.Banieqbal, H. Barringer, A. Pnueli, (eds.).
  note: Περιλαμβάνει βιβλιογραφικές παραπομπές.
  subject:
    topic: System design
  subject:
    topic: Logic, Symbolic and mathematical
  classification: 005.131
  related item:
    title info:
      title: Lecture notes in computer science ; 398
  identifier: 3540518037
  location:
    physical location: INST SAMOS 19991219
  record info:
    record content source: GR-MyUa
    record creation date: 991219
    record identifier: 1/96913
    language of cataloging:
      language term: gre