por Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Diseño de programas: formalismo y abstracción» é o manual de programação de Ricardo Peña Marí, em brochado (Prentice Hall, 251 páginas, em espanhol).
Manual universitário sobre conceção de programas centrado no formalismo e na abstração como base para construir software rigoroso. Expõe notações, conceitos e métodos de especificação, e mostra como raciocinar sobre o comportamento dos programas.
Segunda edição publicada em 1998 pela Prentice Hall, na coleção 'Fuera de colección Out of series'.
Pensado para estudantes universitários de informática e profissionais que queiram reforçar a sua formação em conceção de software.
