Find Your Next Favorite Book
Save up to $20
Our Money-Back Guarantee

Formal Systems Specification: The RPC-Memory Specification Case Study

by , ,

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 ... Show synopsis

Find your copy

Buy it from  $45.82
Buy new from  $45.82
Change currency

Reviews of Formal Systems Specification: The RPC-Memory Specification Case Study

Be the first to
write a review

Love it or loathe it?

Share your opinion with others.

Get $300 in coupons and other goodies. Sign up for newsletter No, thank you.

You're signed up (and we you). Watch for our Welcome e-mail and your first coupon. Thanks!