The logical basis for computer programming

Detalles Bibliográficos
Autor principal:	Manna, Zohar
Otros Autores:	Waldinger, Richard
Formato:	Libro
Lenguaje:	inglés
Publicado:	Reading, Mass. Addison-Wesley c1985-c1990.
Colección:	Addison-Wesley series in computer science
Materias:	Computer programming. Logic, Symbolic and mathematical.