search for books and compare prices
Formal Systems Specification: The Rpc-Memory Specification Case Study
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Springer Verlag (February 1, 1997)
9783540619840 | details & prices | 540 pages | 6.50 × 9.50 × 1.25 in. | 1.65 lbs | List price $139.00
About: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems.
About: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems.