Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1995. gada 6. aprīlis |
| ISBN13 | 9783540591733 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 178 |
| Izmēri | 156 × 234 × 10 mm · 281 g |
| Valoda | Angļu |