Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.

• Material Type: 図書
• ISBN: 3540619844
• ISSN (series): 0302-9743
• Title: Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
• Series Title: Lecture notes in computer science ; 1169
• Author Heading: Broy, M., 1949-; Merz, Stephan.; Spies, Katharina.
• Publication, Distribution, etc.: Berlin : Springer; Tokyo : Springer
• Publication Date: c1996.
• Publication Date (W3CDTF): 1996
• Extent: xxiii, 540 p. : ill. ; 24 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Alias of Author: Broy, Manfred, 1949-
• Subject Heading: 電子計算機 (地理区分) Densikeisanki.; データ処理 (主題区分) Detasyori.; データ伝送. Detadenso.; 電子計算機∥記憶装置. Densikeisanki∥Kiokusoti.; Electronic data processing -- Distributed processing.; Computer networks.; Memory management (Computer science)
• LCC: QA76.9.D5
• DDC: 004/.36
• NDLC: M154
• Note (Bibliography): Includes bibliographical references and index.
• Holding library: 国立国会図書館
• Call No.: M154-A304
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003277720; http://id.ndl.go.jp/bib/000003277720
• LC Control Number: 97119744; https://lccn.loc.gov/97119744
• Bibliographic Record Category (NDL): 211

Table of Contents

Table Of Contents

The RPC-Memory Speclfication Problem Problem Statement/ 1

1　The Procedure Interface/ 1

2　A Memory Component/ 1

3　Implementing the Memory/ 2