Su búsqueda recuperó 3 resultados.

Resultados
		Developments in concurrency and communication / Ed. by c. a. r. hoare por Hoare, C. A. R. (Charles Antony Richard), 1934- [editor]. Series The ut year of programming seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, massachusetts : Addison-wesley, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.58 D48. Hacer reserva Agregar al carrito (remover)
		Formal development of programs and proofs / Ed. by edsger w. dijkstra por Dijkstra, Edsger Wybe [editor]. Series The ut year of programming seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, massachusetts : Addison-wesley, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (5)Clasificación: QA76.6 F67, ... Hacer reserva Agregar al carrito (remover)
		Logical foundations of fuctional programming / Ed. by gerard heuet por Huet, Gerard [editor]. Series The ut year of programming seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, massachusetts : Addison-wesley, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.62 L64, ... Hacer reserva Agregar al carrito (remover)