+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Program Construction : Cambridge Computer Science Texts - R. G. Stone

Program Construction

Cambridge Computer Science Texts

Paperback Published: 6th April 1987
ISBN: 9780521318839
Number Of Pages: 384

Share This Book:

Paperback

Ships in 10 to 15 business days

Earn 144 Qantas Points
on this Book

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.

Preface
A modern approach to computing
Specifications I
Diagrams
Specifications II
PDL
Code generation
Verification
Examination of templates and target code
Abstract data types
The mathematical basis of abstract data types
Utilisation of existing programs
A small scale study - topological sorting
Appendices
References
Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521318839
ISBN-10: 0521318831
Series: Cambridge Computer Science Texts
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 384
Published: 6th April 1987
Publisher: CAMBRIDGE UNIV PR
Country of Publication: GB
Dimensions (cm): 22.86 x 15.24  x 2.16
Weight (kg): 0.56

Earn 144 Qantas Points
on this Book