Denna lärobok är en introduktion till design och skrivande av datorprogram. Den leder läsaren genom alla stadier av programkonstruktion från de ursprungliga specifikationerna till det slutliga programmet. Den formella verifieringen av mellanliggande versioner av programmet studeras i stor detalj. Författarna visar hur man utifrån den formella specifikationen av ett program ritar datastruktur och programstrukturdiagram för att sedan omvandla dem till ett procedurprogram i ett programdesignspråk (PDL). De demonstrerar konverteringen av PDL till en mängd riktiga programmeringsspråk, inklusive Pascal, FORTRAN, COBOL och Assembler. Boken innehåller också kapitel om abstrakta datatyper som analyserar befintliga program och en liten fallstudie. Förstaårsstudenter i datavetenskap och akademiker som tar kurser i databehandling kommer att tycka att detta är en omfattande introduktion till programkonstruktion. Språk: Engelska