Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Program Construction

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521318839
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 384
  • Veröffentlicht:
  • 5 Februar 1987
  • Abmessungen:
  • 152x228x21 mm.
  • Gewicht:
  • 518 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von 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.

Kund*innenbewertungen von Program Construction



Ähnliche Bücher finden
Das Buch Program Construction ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.