Carroll Morgan

Carroll Morgan may refer to: * Carroll Morgan (boxer) * Carroll Morgan (computer scientist) Provided by Wikipedia
Showing 1 - 12 results of 12 for search 'Morgan, Carroll', query time: 0.05s Refine Results
  1. 1
    On the Refinement Calculus /

    On the Refinement Calculus / by Morgan, Carroll

    Published 1994
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    Programming from specifications /

    Programming from specifications / by Morgan, Carroll, 1952-

    Published 1990
    Book
    Save to List
    Saved in:
  3. 3
    The science of quantitative information flow /

    The science of quantitative information flow / by Alvim, Mário S., 1982-, Chatzikokolakis, Konstantinos, 1980-, McIver, Annabelle, Morgan, Carroll, 1952-, Palamidessi, Catuscia, Smith, Geoffrey

    Published 2020
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Abstraction, refinement and proof for probabilistic systems /

    Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle

    Published 2005
    Other Authors: “…Morgan, Carroll, 1952-…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Abstraction, refinement and proof for probabilistic systems /

    Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle

    Published 2005
    Other Authors: “…Morgan, Carroll, 1952-…”
    Book
    Save to List
    Saved in:
  6. 6
    Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /

    Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /

    Published 2011
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Theoretical aspects of computing 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009 /

    Theoretical aspects of computing 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009 /

    Published 2009
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    On the refinement calculus /

    On the refinement calculus /

    Published 1994
    Other Authors: “…Morgan, Carroll, 1952-…”
    Book
    Save to List
    Saved in:
  9. 9
    Programming methodology /

    Programming methodology /

    Published 2003
    Other Authors:
    Book
    Save to List
    Saved in:
  10. 10
    Programming methodology

    Programming methodology

    Published 2003
    Other Authors:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Mathematics of program construction second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

    Mathematics of program construction second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

    Published 1993
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Advanced elder law institute 2010.

    Advanced elder law institute 2010.

    Published 2010
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search