Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science - Josyula R. Rao - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540591733 - 1995. gada 6. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 64,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem Josyula R. Rao izdevumiem
Pievienot savam iMusic vēlmju sarakstam

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

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  

Vairāk no tā paša izdevēja