Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 1 of 1 matches in All Departments
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 to formal specification,
refinement, and verification.
|
You may like...
Suid-Afrikaanse Leefstylgids vir…
Vickie de Beer, Kath Megaw, …
Paperback
|