Mathematical logic and programming languages

Mathematical logic and programming languages

Detalles Bibliográficos
Otros Autores: Hoare, C. A. R. (Charles Antony Richard), 1934- (-), Shepherdson, J. C.
Formato: Libro
Idioma:Inglés
Publicado: Englewood Cliffs, New Jersey [etc.] : Prentice-Hall International 1985.
Colección:Prentice-Hall International Series in Computer Science
Materias:
Lenguajes de programación (Ordenadores) > estudios y conferencias.
Lógica matemática > estudios y conferencias.
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001734569703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo

Ejemplares similares

Ejemplares similares