Specifications‚ Programs and Implementations

Eitemau Tebyg

• A Notation for the Specification of Computer Programs
  gan: Hoare, C
  Cyhoeddwyd: (1976)
• Program construction : calculating implementations from specifications /
  gan: Backhouse, Roland C. 1948-
  Cyhoeddwyd: (2003)
• Implementation Languages for Real−Time Systems — III. Command and Control Languages — Specific Comments
  gan: Enslow, P, et al.
  Cyhoeddwyd: (2015)
• Structured Programming in Introductory Programming Courses
  gan: Hoare, C
  Cyhoeddwyd: (1976)
• Implementing a security-specific slicer for servlet using program slicer
  gan: Ei, Ei Ko
  Cyhoeddwyd: (2011)