Get Free Shipping on orders over $0
Program Construction : Cambridge Computer Science Texts - No Information Available

Program Construction

By: No Information Available

Paperback | 6 April 1987

At a Glance

Paperback


RRP $87.95

$86.99

or 4 interest-free payments of $21.75 with

 or 

Ships in 5 to 7 business days

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

More in Computer Programming & Software Development

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$52.47

30%
OFF
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Starting Out with Python : 5th Global Edition - Tony Gaddis

RRP $138.95

$108.75

22%
OFF
The Practical Guide - Kerem Koseoglu

$97.75

Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
Practical Probabilistic Programming - Stefan Nordin
Practical Probabilistic Programming - Stefan Nordin
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman