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 techniques for distributed systems
    sub title: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
  name:
    name part: International Conference on Formal Methods for Open Object-Based Distributed Systems 2009 : Lisbon, Portugal)
    role:
      role term: creator
  name:
    name part: Lee, David.
  name:
    name part: Lopes, Antónia.
  name:
    name part: Poetzsch-Heffter, Arnd.
  name:
    name part: SpringerLink (Online service)
  name:
    name part: FORTE 2009 (2009 : Lisbon, Portugal)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: remote
    extent: xii, 248 pages : illustrations ; 24 cm.
  note: David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.).
  note: Electronic resource.
  note: Electronic reproduction. New York : Springer, 2009. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Aug. 7, 2009). Access may be restricted to users at subscribing institutions.
  note: Includes bibliographical references and index.
  subject:
    topic: Electronic data processing
    topic: Distributed processing
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: Object-oriented programming (Computer science)
    genre: Congresses
  classification: QA76.9.D5 I573 2009
  classification: 004/.36
  related item:
    identifier: (OCoLC)401153802
  related item:
    title info:
      title: Lecture notes in computer science ; 5522
  identifier: 3642021387
  identifier: 9783642021381
  identifier: 978-3-642-02137-4 Springer
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: GW5XE
    record creation date: 090824
    record change date: 20210727090225.0
    record identifier: in00002547599
    language of cataloging:
      language term: eng