Formal systems specification
Subtitle: the RPC-memory specification case study
By: Manfred Broy, Stephan Merz, Katharina Spies, eds.
Contributors: Broy, M., 1949-; Merz, Stephan.; Spies, Katharina.
Series: Lecture notes in computer science,; 1169
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 540
Subjects: Electronic data processing -- Distributed processing; Computer networks; Memory management (Computer science)
Notes: Includes bibliographical references.