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: Z User Workshop, York 1991
    sub title: Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991
  name:
    name part: Nicholls, J. E.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 1992
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (VIII, 408 pages)
  abstract: The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and a corresponding increase in the publication of technical papers and reports of work with Z. The annual Z user meetings offer an excellent focal point for work published on Z, and provide a forum for the discussion of new developments. Z User Workshop, York 1991, provides an important overview of new developments in theoretical and practical aspects of Z. It will be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers.
  note: edited by J.E. Nicholls.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Logic design
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Software engineering
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Workshops in computing
  identifier: 9781447132035 (electronic bk.)
  identifier: 1447132033 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260423141348.6
    record identifier: in00003546143
    language of cataloging:
      language term: eng