Visas 1 - 2 av 2 resultat för sökning '"Refinement calculus."', Sökningstid: 0,01s Förfina resultatet
  1. 1

    Non-deterministic expressions and predicate transformers. av Morris, Joseph M.

    Artikel

    Non-deterministic expressions and predicate transformers.
  2. 2

    A refinement calculus for software components and architectures. av Barbosa, Marco Antonio

    I publikationen Software engineering notes.
    Artikel

    A refinement calculus for software components and architectures.

Sökverktyg: