Katharina Spies – författare

Visar alla böcker från författaren Katharina Spies. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Formal Systems Specification

   The RPC-Memory Specification Case Study

   Av Manfred Broy, Stephan Merz m. fl.

   Häftad, 1996

   569 kr

   Lägg i varukorg

   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 used as the basis for comparing various approaches …