Marknadens största urval
Snabb leverans

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521318839
  • Format:
  • Häftad
  • Sidor:
  • 384
  • Utgiven:
  • 5. februari 1987
  • Mått:
  • 152x228x21 mm.
  • Vikt:
  • 518 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

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

Användarnas betyg av Program Construction



Hitta liknande böcker
Boken Program Construction finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.