Find Your Next Favorite Book
Save up to $6
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  $48.02
Buy new from  $48.02
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!