A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs

Նմանատիպ նյութեր

• The Ideal of Program Correctness: Third Computer Journal Lecture
  ‌: Hoare, T
  Հրապարակվել է: (2007)
• Program Correctness Proofs
  ‌: Hoare, C
  Հրապարակվել է: (1975)
• Unified Theories of Programming
  ‌: Hoare, C
  Հրապարակվել է: (2015)
• Computer programs for spelling correction : an experiment in program design /
  ‌: 276066 Peterson, James L.
  Հրապարակվել է: (1980)
• Towards a Theory of Parallel Programming
  ‌: Hoare, C
  Հրապարակվել է: (1972)