The Logical basis for computer programming

Detalles Bibliográficos
Autor principal: Manna, Zohar (-)
Otros Autores: Waldinger, Richard
Formato: Libro
Idioma:Inglés
Publicado: Reading [etc.] : Addison-Wesley 1985-1990
Colección:Addison-Wesley series in computer science
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991001736729706719
Descripción
Descripción Física:2 v. ; 25 cm
ISBN:9780201182606
9780201182613