Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Refinement calculus."', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1

    Non-deterministic expressions and predicate transformers. ανά Morris, Joseph M.

    Τόπος έκδοσης Information processing letters.
    Άρθρο

    Non-deterministic expressions and predicate transformers.
  2. 2

    A refinement calculus for software components and architectures. ανά Barbosa, Marco Antonio

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    A refinement calculus for software components and architectures.

Εργαλεία αναζήτησης: