Su búsqueda retornó 4 resultados.

Ordenar
Resultados
Real-time systems : specification, verification and analysis / edited by Mathai Joseph. por Series Prentice-Hall international series in computer science
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: London ; Mexico City : Prentice Hall, 1996
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.54 R4298.1996.

The implementation of functional programming languages / Simon L. Peyton Jones por Series Prentice-Hall International series in computer science / C.A.R. Hoare, series editor
Tipo de material: Texto Texto; Forma literaria: No es ficción
Idioma: ENG
Detalles de publicación: New York : Prentice Hall, c1987
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.7 P495.

Micro-PROLOG : programming in logic / K. L. Clark and F. G. McCabe ; with the contributions by M. H. van Emden...et al. por Series Prentice-Hall international series in computer science
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: Englewood Cliffs, N.J. : Prentice/Hall International, c1984
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.73 P76.

Principles of programming languages / R. D. Tennent por Series Prentice Hall International series in computer science
Tipo de material: Texto Texto; Forma literaria: No es ficción
Detalles de publicación: New York : Prentice Hall, 1981
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.7 T47.1981.

Páginas