Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science - Josyula R. Rao - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540591733 - 6. aprila 1995
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. okt - 3. nov
Prejemajte obvestila o novih izdajah izvajalca Josyula R. Rao
Dodaj na svoj seznam želja iMusic

Not rated yet

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  

Več od istega **izdajatelja**