Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche-Posay, France, April 23-27, 1990, proceedings / I. Guessarian, ed.
Tipo de material:
Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Libros Libros | Coleccion General | QA76.58 E385 (Navegar estantería(Abre debajo)) | 1 | Disponible | 47133 |
Total de reservas: 0
"La escuela fue organizada conjuntamente por el LITP (Laboratoire d'Informatique Theorique et Programmation, Paris) y el IRIT (Institute pour la Recherche en Informatique de Tolouse)" -- Prol.
No hay comentarios en este titulo.