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 .
<br/><br/><label>ISBN: </label>3540619844 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Remote area power supply systems<br/>Memory management (Computer science)
<br/><br/><label>LC Class. No.: </label>QA76.9 M45  / F67