LIBROS DEL AUTOR: a w roscoe

1 resultados para LIBROS DEL AUTOR: a w roscoe

a w roscoe Eliminar filtro Quitar filtros
  • Understanding Concurrent Systems
    A.W. Roscoe
    CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of th...
    Disponible

    65,07 €