Suchergebnisse - Morgan, Carroll

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    Programming from specifications
    von Morgan, Carroll

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    On the Refinement Calculus
    von Morgan, Carroll

    Veröffentlicht 1992
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Programming from specifications
    von Morgan, Carroll

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    The distributed computing software project
    von Gimson, Roger, Morgan, Carroll

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    The Science of Quantitative Information Flow
    von Alvim, Mário S., Chatzikokolakis, Konstantinos, McIver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

    Veröffentlicht 2020
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Abstraction, refinement and proof for probabilistic systems
    von McIver, Annabelle, Morgan, Carroll

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    On the refinement calculus

    Veröffentlicht 1992
    Weitere beteiligte Personen: “… Morgan, Carroll …”
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Programming Methodology

    Veröffentlicht 2003
    Weitere beteiligte Personen: “… Morgan, Carroll …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: