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

Detalles Bibliográficos
Autor principal: Manna, Zohar
Otros Autores: Waldinger, Richard
Formato: Libro
Lenguaje:English
Publicado: Reading, Mass. Addison-Wesley c1993.
Materias: