Search Results - (("Calculus Computer programs") OR ("Calculus Computer programme"))

Search alternatives:

  • Showing 1 - 1 results of 1
Refine Results
  1. Cover Image

    Providing mechanical support for program development in a weakest precondition calculus by Ackerman, Charlotte Christene

    Published 2013
    Subjects: “…Calculus -- Computer programs…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: