Program Construction

By: No Information Available

Write A Review

Paperback | 6 April 1987

At a Glance

Paperback
384 Pages

Dimensions(cm)
22.86 x 15.24 x 2.16

Paperback

RRP $87.95

$86.99

or 4 interest-free payments of $21.75 with

Ships in 15 to 25 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages

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.

Program Construction

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Videogame Architecture

Building Virtual Spaces

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Multimodal Artificial Intelligence and Large Language Models

A Comprehensive Guide from Theory to Practice

Modern Computing

Principles and Paradigms

Introduction to Computer Music

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Python & AI For Dummies

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

MacBook Neo For Dummies

The Practical Guide

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The C Programming Language

Prentice Hall Software

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Refactoring 2ed

Improving the Design of Existing Code

Coding For Kids For Dummies

For Kids for Dummies

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Computer Systems 3ed

A Programmer's Perspective, Global Edition

C++ Programming Language (hardcover), The

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

This product is categorised by