Utvidet returrett til 31. januar 2025

Program Construction

Om 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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521318839
  • Bindende:
  • Paperback
  • Sider:
  • 384
  • Utgitt:
  • 5. februar 1987
  • Dimensjoner:
  • 152x228x21 mm.
  • Vekt:
  • 518 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 11. desember 2024

Beskrivelse av 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.

Brukervurderinger av Program Construction



Finn lignende bøker
Boken Program Construction finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.