door Ricardo Peña Marí · PRENTICE HALL · tapa blanda · ISBN 9780130984500
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Diseño de programas: formalismo y abstracción» is het programmeerhandboek van Ricardo Peña Marí, in paperback (Prentice Hall, 251 pagina's, in het Spaans).
Universitair handboek over programmaontwerp gericht op formalisme en abstractie als basis voor het bouwen van rigoureuze software. Het behandelt notaties, concepten en specificatiemethoden, en laat zien hoe men over het gedrag van programma's redeneert.
Tweede editie gepubliceerd in 1998 door Prentice Hall, in de collectie 'Fuera de colección Out of series'.
Bedoeld voor universitaire informaticastudenten en professionals die hun opleiding in softwareontwerp willen versterken.
