![]() |
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...
Chaos - A Program Collection for the PC
Hans Jurgen Korsch, Hans-Joerg Jodl, …
Hardcover
R1,453
Discovery Miles 14 530
Goodnight Golda - A Handbook For Brave…
Batya Bricker, Ilana Stein
Paperback
|