Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science - Josyula R. Rao - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540591733 - 6 de abril de 1995
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de abril de 1995
ISBN13 9783540591733
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 178
Dimensiones 156 × 234 × 10 mm   ·   281 g
Lengua Inglés  

Mere med samme udgiver