Program Construction - Rilegato

Stone, R. G.; Cooke, D. J.

Rilegato

ISBN 10: 0521268230 ISBN 13: 9780521268233

Casa editrice: Cambridge University Press, 1987

Riassunto

This textbook is an introduction to the design and writing of computer programs.

Su questo libro

Descrizione del libro

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.

Contenuti

Preface; 1. A modern approach to computing; 2. Specifications I; 3. Diagrams; 4. Specifications II; 5. PDL; 6. Code generation; 7. Verification; 8. Examination of templates and target code; 9. Abstract data types; 10. The mathematical basis of abstract data types; 11. Utilisation of existing programs; 12. A small scale study - topological sorting; Appendices; References; Index.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1987
• Lingua: Inglese
• ISBN 10: 0521268230
• ISBN 13: 9780521268233
• Rilegatura: Copertina rigida
• Numero edizione: 1
• Numero di pagine: 384
• Contatto del produttore: non disponibile