Articoli correlati a Program Construction
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.
Compra nuovo
Visualizza questo articolo
EUR 45,89
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Program Construction
Foto dell'editore
Program Construction (Cambridge Computer Science Texts, Band 22)
Editore:
Cambridge University Press, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Antico o usato
Brossura
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Codice articolo M00521318831-G
Quantità: 1 disponibili
Foto dell'editore
Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)
Editore:
Cambridge University Press, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR004370545
Quantità: 2 disponibili
Foto dell'editore
Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)
Editore:
Cambridge University Press, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Codice articolo GOR008811982
Quantità: 1 disponibili
Foto dell'editore
PROGRAM CONSTRUCTION
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-102228
Quantità: 1 disponibili
Foto dell'editore
Program Construction (Cambridge Computer Science Texts, 22)
Editore:
Cambridge University Press, Cambridge, 1987
ISBN 10: 0521318831
ISBN 13: 9780521318839
Antico o usato
Trade Paperback
Prima edizione
Da: Fahrenheit's Books, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Trade Paperback. Condizione: Very Good. 1st Printing. First trade paperback printing, has a faint skew to binding, very slight bumps to spine ends and cover corners, tiny hint of bowing to book, a touch of edgewear to covers, and a very small spot of soiling to base of text block at fore edge, otherwise a solid, tight VG copy with crisp interior. Codice articolo 98301
Quantità: 1 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 590. Codice articolo C9780521318839
Quantità: Più di 20 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
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
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Program Construction
Editore:
Cambridge University Press, 2005
ISBN 10: 0521318831
ISBN 13: 9780521318839
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 versio. Codice articolo 446931991
Quantità: Più di 20 disponibili
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: Gate City Books, GREENSBORO, NC, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: good. USED book in GOOD condition. Great binding, pages and cover show normal signs of wear from use. Codice articolo GCM.1DPS
Quantità: 1 disponibili