Logic for Concurrency and Synchronisation
- ISBN
- 9789401740005
Logic for Concurrency and Synchronisation es un proof theory, modality book de R.J. De Queiroz.
Descubre Logic for Concurrency and Synchronisation de R.J. De Queiroz, proof theory.
Sobre el Autor
R.J. De Queiroz es el autor de Logic for Concurrency and Synchronisation. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Logic for Concurrency and Synchronisation?+
Logic for Concurrency and Synchronisation es un libro de Proof theory, Modality, Parallel programming.
¿Quién escribió Logic for Concurrency and Synchronisation?+
Logic for Concurrency and Synchronisation fue escrito por R.J. De Queiroz.