01032cam a2200289 a 4500 20260818114331.0 090714s1996 gw r 000|0 eng | 3540619844 .b11565160 QA76.9 M45 F67 Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephen Merz and Katharina Spies, eds. Berlin : Springer, 1996 540 p. Lecture notes in computer science ; v. 1169 Remote area power supply systems Memory management (Computer science) Broy, Manfred Merz, Stephan Spies, Katharina .b11565160 mngc - 121030 0 970624 m a - 0 mngc 14 Barcode : 30050004029798 CREATED : 1997-06-24 RECORD # : i11957529 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 46746 46746 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.9 M45 F67 30050004029798 2026-08-18 11:43:31 1 2026-08-18 14