Research Catalog

Formal systems specification : the RPC-memory specification case study

Title
Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
Publication
Berlin ; New York : Springer, c1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library TK7895.M4 F675 1996Off-site

Holdings

Details

Additional Authors
  • Broy, M., 1949-
  • Merz, Stephan.
  • Spies, Katharina.
Description
xxiii, 540 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 1169
Subject
  • Computer storage devices > Congresses
  • Interactive computer systems > Congresses
  • Electronic data processing > Distributed processing > Congresses
  • Computer multitasking > Congresses
Note
  • Workshop held in September 1994, Dagstuhl, Germany.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540619844
OCLC
  • ocm36216819
  • SCSB-2107992
Owning Institutions
Princeton University Library