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: first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
  name:
    name part: FMCO (Symposium) 2002 : 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.
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 2003
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (viii, 507 pages) : illustrations
  table of contents: A Tool-Supported Prof System for Multithreaded Java / E. Abraham, F.S. de Boer, W.-P. de Roever and M. Steffen -- Abstract Behavior Types: A Foundation Model for Components and Their Composition / F. Arbab -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML / W. Damm, B. Josko, A. Pnueli and A. Votintseva -- Live and Let Die: LSC-Based Verification of UML-Models / W. Damm and B. Westphal -- Reactive Animation / D. Harel, S. Efroni and I.R. Cohen -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software / X. Deng, M.B. Dwyer, J. Hatcliff and G. Jung / Robby / G. Singh -- Equivalent Semantic Models for a Distributed Dataspace Architecture / J. Hooman and Jaco van de Pol.
  note: Frank S. de Boer [and others] (eds.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Formal methods (Computer science)
    genre: Congresses
  subject:
    topic: Component software
    genre: Congresses
  subject:
    topic: Object-oriented programming (Computer science)
    genre: Congresses
  subject:
    topic: Composants logiciels
    genre: Congrès
  subject:
    topic: Méthodes formelles (Informatique)
    genre: Congrès
  subject:
    topic: Programmation orientée objet (Informatique)
    genre: Congrès
  subject:
    topic: Component software
  subject:
    topic: Formal methods (Computer science)
  subject:
    topic: Object-oriented programming (Computer science)
  subject:
    topic: Méthode formelle
  subject:
    topic: Composant logiciel
  subject:
    topic: Programmation orientée objet
  classification: QA76.9.F67 F53 2002
  classification: 005.3
  classification: 54.52
  related item:
    title info:
      title: Lecture notes in computer science ; 2852
  identifier: 3540203036
  identifier: 9783540203032
  identifier: 2003066671
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 030930
    record change date: 20190325110756.0
    record identifier: in00001813856
    language of cataloging:
      language term: eng