책 이미지
eBook 미리보기
책 정보
· 제목 : Program Construction (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9780521318839
· 쪽수 : 384쪽
· 출판일 : 1987-02-05
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9780521318839
· 쪽수 : 384쪽
· 출판일 : 1987-02-05
목차
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.
