Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fou
213,25 €
Temporal and probabilistic systems. Series IFIP Advances in Information and Communication Technology. Subtitle IFIP TC6/WG6.1. I Invited Talk. - On the Semantics of JavaSpaces. - Atomic Failure in Wide-Area Computation.
Jetzt bei Ebay: