Sinossi
This textbook is an introduction to the design and writing of computer programs.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Program Construction
Immagini fornite dal venditore
Program Construction (Cambridge Computer Science Texts, Series Number 22)
Editore:
Cambridge University Press, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Antico o usato
Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0521318831.G
Compra usato
EUR 36,95
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Program Construction
Editore:
Cambridge University Press, Cambridge and London, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Antico o usato
Soft Cover
Prima edizione
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Valutazione del venditore 5 su 5 stelle
Soft Cover. Condizione: Good. No Jacket. First Edition. From an academic library with the usual stamps and labels. Apart from the library evidence a clean tight copy that appears unread. Number 22 Cambridge Computer Science Texts. A00014886. Codice articolo A00014886
Compra usato
EUR 9,50
Spedizione EUR 34,57
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Program Construction (Cambridge Computer Science Texts, Series Number 22)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521318839_new
Compra nuovo
EUR 58,65
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Program Construction (Cambridge Computer Science Texts)
Editore:
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521318839
Compra nuovo
EUR 55,55
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Program Construction
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 372 pages. 8.82x5.98x0.94 inches. In Stock. This item is printed on demand. Codice articolo __0521318831
Compra nuovo
EUR 60,35
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Program Construction (Cambridge Computer Science Texts, Series Number 22)
Editore:
Cambridge University Press, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
paperback
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0521318831
Compra nuovo
EUR 71,06
Spedizione EUR 5,96
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)
Editore:
Cambridge University Press, 2008
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
Brossura
Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. This textbook is an introduction to the design and writing of computer programs. Series: Cambridge Computer Science Texts. Num Pages: 384 pages, illustrations, index. BIC Classification: UM. Category: (U) Tertiary Education (US: College). Dimension: 228 x 152 x 22. Weight in Grams: 518. . 2008. First Edition. paperback. . . . . Codice articolo V9780521318839
Compra nuovo
EUR 68,27
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Program Construction
Editore:
Cambridge University Press, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521318839
Compra nuovo
EUR 61,85
Spedizione EUR 19,19
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Program Construction (Paperback)
Editore:
Cambridge University Press, Cambridge, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521318839
Compra nuovo
EUR 87,70
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Program Construction
Editore:
Cambridge University Press CUP, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 384 Index. Codice articolo 26511415
Compra nuovo
EUR 88,46
Spedizione EUR 3,42
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili