Take a photo of a barcode or cover
543 pages • missing pub info (editions)
ISBN/UID: 9783540619840
Format: Paperback
Language: English
Publisher: Springer
Publication date: 06 November 1996
Description
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was ...
Community Reviews
Content Warnings
543 pages • missing pub info (editions)
ISBN/UID: 9783540619840
Format: Paperback
Language: English
Publisher: Springer
Publication date: 06 November 1996
Description
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was ...
Community Reviews
Content Warnings