Showing 1 - 2 results of 2 for search '"Weakest preconditions."', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Non-deterministic expressions and predicate transformers. द्वारा Morris, Joseph M.

    में प्रकाशित Information processing letters.
    लेख

    Non-deterministic expressions and predicate transformers.
  2. 2

    Unifying wp and wlp. द्वारा Morgan, Carroll

    में प्रकाशित Information processing letters.
    लेख

    Unifying wp and wlp.

खोज साधन: