Distributed Shared Memory Consistency Models: Specification and Verification of
25,32 €
For verification of the weak consistency model, the properties of weak consistency have been specified and verified on the Abstract DSM System using CADP Toolbox. Subtitle Specification and Verification of DSM Consistency Models using CADP.
Jetzt bei Ebay:
