Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - November 6, 1996
In case cover and title do not match, the title is correct

S Merz
Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science

Price
R 933
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Mar 25 - 31

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.

566 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 6, 1996
ISBN13 9783540619840
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 566
Dimensions 234 × 156 × 29 mm   ·   789 g
Language German  
Editor Broy, Manfred
Editor Merz, Stephan
Editor Spies, Katharina

See all of S Merz ( e.g. Paperback Book )