Distributed Shared Memory Konsistenzmodelle: Spezifikation und Überprüfung von
27,36 €
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:
![Produktbild - Distributed Systems: Concurrency and Consistency by Matthieu Perrin [Hardback]](https://i.ebayimg.com/thumbs/images/g/y9QAAOSw5ZNnllHW/s-l140.jpg)
