door Ricardo Peña Marí · PEARSON UNIVERSIDAD · tapa blanda · ISBN 9788483220030
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í, uitgegeven door Prentice Hall in paperback (326 pagina's).
Programmeerhandboek gericht op het formele ontwerp van programma's: het legt de principes uit die de constructie van software sturen en het redeneren over de correctheid en efficiëntie ervan. Bedoeld voor een tweede of derde programmeercursus, combineert het formalisme en abstractie om de ontwikkeling van computerprogramma's te behandelen.
Tweede editie, gepubliceerd in 1997.
Voor informaticastudenten en professionals die de fundamenten van formeel programmaontwerp willen verankeren.
Tapa blanda
Tapa blanda
