CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Baeten, Josephus Cornelis Maria

Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers. - Cambridge ; New York : Cambridge University, 2010. - xvi, 460 p. : il. ; 24 cm. - Cambridge tracts in theoretical computer science ; 50 .

Includes bibliographical references and indexes.

9780521820493


Programación concurrente.
Verificación de programas.
Concurrent programming.
Process management.
Program verification.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com