Programming Symposium
Broschiertes Buch

Programming Symposium

Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974

Herausgegeben: Robinet, B.
Versandfertig in 1-2 Wochen
27,99 €
inkl. MwSt.
PAYBACK Punkte
14 °P sammeln!
On a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour la validation et la preparation de programmes.- Proving program correctness in LCF.- Finite state testing of structured programs.- Structured recursive programming.- Top-down approach to the synthesis of programs.- A more mechanical approach to program verification.- Tree structures handling by aps.- Towards a high-level job control language.- Formal Definition of a simple on-line teleprocessor in V...