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 Speciï¬cation and Documentation using Z
  title info:
    sub title: A Case Study Approach
  title info: title
  name:
    name part: Bowen, Jonathan
    role:
      role term: creator
  type of resource: text
  origin info:
    place:
      place term: xx
    place:
      place term: k.x.đ]
    publisher: [k.x.đ]
    date issued: 2003
    date issued: 9999
    issuance: monographic
  language:
    language term: und
  physical description:
    form: print
    extent: 302 pp.
  abstract: Bibliography: 253 - 283; Introduction (Formal Speciï¬cation using Z; Industrial Use of Formal Methods; A Brief Introduction to Z); Network Services (Documentation using Z; A File Storage Service); UNIX Software (A Text Formatting Tool; An Event-based Input System); Instruction Sets; Graphics; Window Systems;
  note: Jonathan Bowen
  subject:
    topic: Programming languages
    topic: Z; Công nghệ thông tin
    topic: Ngôn ngữ lập trình
    topic: Z
  classification: 346.579046916402632
  identifier: http://lrc.tdmu.edu.vn/opac/search/detail.asp
  record info:
    record creation date: 210410
    record identifier: TDMU_29326