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

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

• Program Correctness Proofs
  ‌: Hoare, C
  Հրապարակվել է: (1975)
• The Ideal of Program Correctness: Third Computer Journal Lecture
  ‌: Hoare, T
  Հրապարակվել է: (2007)
• Computer programs for spelling correction : an experiment in program design /
  ‌: 276066 Peterson, James L.
  Հրապարակվել է: (1980)
• Mathematical theory of program correctness /
  ‌: 406367 Bakker, Jaco de
  Հրապարակվել է: (1980)
• A Model for Synchronous Switching Circuits and its Theory of Correctness
  ‌: Chaochen, Z, և այլն
  Հրապարակվել է: (1992)