00659cam a2200193 a 450000500170000000800410001702000150005803500150007305000200008824501320010826000300024030000110027044000490028165000370033065000410036770000180040870000180042670000210044420260818114331.0090714s1996    gw      r     000|0 eng |  a3540619844  a.b11565160 4aQA76.9 M45bF6700aFormal systems specification :bthe RPC-memory specification case study /cManfred Broy, Stephen Merz and Katharina Spies, eds.  aBerlin :bSpringer,c1996  a540 p. 0aLecture notes in computer science ;vv. 1169 0aRemote area power supply systems 0aMemory management (Computer science)1 aBroy, Manfred1 aMerz, Stephan1 aSpies, Katharina