Take a photo of a barcode or cover
Read With Others
Book Information
543 pages • paperback • 1 edition
ISBN/UID: 9783540619840
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 06 Nov 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 • paperback
ISBN/UID: 9783540619840
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 06 Nov 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