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
Not available - Please for assistance.
TextUse in library TK7895.M4 F675 1996Off-site

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
Subjects
Note
  • Workshop held in September 1994, Dagstuhl, Germany.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540619844
Owning Institutions
Princeton University Library