Semantics and logics of computation /

Detalles Bibliográficos
Otros Autores: Pitts, A. M. (Andrew M.), Dybjer, Peter
Formato: Libro
Lenguaje:English
Publicado: Cambridge ; New York : Cambridge University Press, 1997.
Colección:Publications of the Newton Institute ; 14
Materias:
Procesamiento electrónico de datos.
Lenguaje de programación(Computadoras) > Semántica.
Lógica matemática.

Ejemplares similares

Ejemplares similares