Povej prijatelju o tem izdelku:
Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science Josyula R. Rao 1995 edition
Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science
Josyula R. Rao
This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s as a formalism aiding in the specification and verification of parallel programs. The author develops the ideas behind UNITY in order to understand the potential and limitations of this approach.
178 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 6. aprila 1995 |
| ISBN13 | 9783540591733 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 178 |
| Dimenzije | 156 × 234 × 10 mm · 281 g |
| Jezik | Angleščina |