Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science - Josyula R. Rao - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540591733 - April 6, 1995
In case cover and title do not match, the title is correct

Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science 1995 edition

Price
HK$ 431
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 6, 1995
ISBN13 9783540591733
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 178
Dimensions 156 × 234 × 10 mm   ·   281 g
Language English  

Mere med samme udgiver