Home | Help | New Search | 中文模式

AS Library Service 


Start Over Hold this item Export MARC Display Return To Browse Another Search
   
Record 1 of 4
Record:   Prev Next
Title Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds
Imprint Berlin ; New York : Springer, c1996
 book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  Ser D4.2 F7235  LNCS 1169    AVAILABLE    30330000120498
Descript xxiii, 540 p. : ill. ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 1169
Note Includes bibliographical references
Subject Electronic data processing -- Distributed processing
Computer networks
Memory management (Computer science)
RPC-memory iisf
Distributed systems iis
Concurrent systems iisf
Alt Author Broy, M., 1949-
Merz, Stephan
Spies, Katharina
Record 1 of 4
Record:   Prev Next
Start Over Hold this item Export MARC Display Return To Browse Another Search


Home | Help | 中文模式