Denne lærebog er en introduktion til design og skrivning af computerprogrammer. Det fører læseren gennem alle faser af programkonstruktionen fra de originale specifikationer til det endelige program. Den formelle verifikation af mellemliggende versioner af programmet studeres i detaljer. Forfatterne viser, hvordan givet den formelle specifikation af et program, tegnes datastruktur og programstrukturdiagrammer og konverteres derefter til et procedureprogram i et programdesignsprog (PDL). De demonstrerer konverteringen af PDL til en række rigtige programmeringssprog, herunder Pascal, FORTRAN, COBOL og Assembler. Bogen indeholder også kapitler om abstrakte datatyper, der analyserer eksisterende programmer og et lille casestudie. Første års bachelorer i datalogi og kandidater, der tager kurser i computing, vil finde dette en omfattende introduktion til programkonstruktion. Sprog: Engelsk