Home | Help | New Search | 中文模式

AS Library Service 


Start Over Export MARC Display Return To Browse Another Search
   
Record 2 of 4
Record:   Prev Next
Title Formal systems specification [electronic resource] : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds
Imprint Berlin ; New York : Springer, 1996
 book jacket
Click on the following to:
Connect to http://dx.doi.org/10.1007/BFb0024423
Descript xxiii, 540 p. : ill., digital ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 1169
Note Springr LNCS
Host Item Springer eBooks
Subject Electronic data processing -- Distributed processing
Computer networks
Memory management (Computer science)
Alt Author Broy, M., 1949-
Merz, Stephan
Spies, Katharina
SpringerLink (Online service)
Record 2 of 4
Record:   Prev Next
Start Over Export MARC Display Return To Browse Another Search


Home | Help | 中文模式