Abstract Specification of PKC/Input

From PKC
Revision as of 05:15, 29 March 2023 by Benkoo2 (talk | contribs)
Jump to navigation Jump to search
  • Existing system architecture specifications and design documents of the previous generation of PKC.
  • Data-intensive system design methodology and knowledge representation tools.
  • Specifying Systems by Leslie Lamport.