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 methods for components and objects
    sub title: third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
  title info:
    title: FMCO 2004
  name:
    name part: FMCO (Symposium) 2004 : Leiden, Netherlands)
    role:
      role term: creator
  name:
    name part: Boer, Frank S. de.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 2005
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: remote
    extent: viii, 323 pages : illustrations ; 24 cm.
  note: Frank S. de Boer [and others] (eds.).
  note: Electronic resource.
  note: Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Oct. 10, 2008). Access may be restricted to users at subscribing institutions.
  note: Includes bibliographical references and index.
  subject:
    topic: Component software
    genre: Congresses
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: Object-oriented programming (Computer science)
    genre: Congresses
  subject:
    topic: Approche orientée objet (Informatique)
    genre: Congrès
  subject:
    topic: Composants logiciels
    genre: Congrès
  subject:
    topic: Méthodes formelles (Informatique)
    genre: Congrès
  subject:
    topic: Approche orientée objet
  subject:
    topic: Composant logiciel
  subject:
    topic: Méthode formelle
  classification: QA76.9.F67 F53 2004eb
  classification: 005.13/1
  related item:
    identifier: (DLC) 2005932547
    identifier: (OCoLC)61766573
  related item:
    title info:
      title: Lecture notes in computer science ; 3657
  related item:
    title info:
      title: Lecture notes in computer science
      part name: Tutorial
  identifier: 3540319395
  identifier: 9783540319399
  identifier: 978-3-540-29131-2 Springer
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: GW5XE
    record creation date: 081017
    record change date: 20210727085036.0
    record identifier: in00002458077
    language of cataloging:
      language term: eng