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:
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
Descripción
Notas:"The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, v. 312, 1984."
Descripción Física:184 p. : il. ; 25 cm
Bibliografía:Bibliografía.
ISBN:9780135614655