The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

Detalles Bibliográficos
Autor Principal: Manna, Zohar
Outros autores: Waldinger, Richard
Formato: Libro
Idioma:English
Publicado: Reading, Mass. Addison-Wesley c1993.
Subjects: