Carroll Morgan

Carroll Morgan may refer to: * Carroll Morgan (boxer) * Carroll Morgan (computer scientist) Provided by Wikipedia
Showing 1 - 13 results of 13 for search 'Morgan, Carroll', query time: 0.28s Refine Results
  1. 1
    On the Refinement Calculus /
    by Morgan, Carroll
    Published 1994
    Connect to the full text of this electronic book
    eBook
  2. 2
    Programming from specifications /
    by Morgan, Carroll, 1952-
    Published 1990
    Book
  3. 3
    The Science of Quantitative Information Flow /
    Connect to the full text of this electronic book
    eBook
  4. 4
    Abstraction, refinement and proof for probabilistic systems /
    by McIver, Annabelle
    Published 2005
    Other Authors: “...Morgan, Carroll, 1952-...”
    Publisher description
    Book
  5. 5
    Abstraction, refinement and proof for probabilistic systems /
    by McIver, Annabelle
    Published 2005
    Other Authors: “...Morgan, Carroll, 1952-...”
    Connect to the full text of this electronic book
    Publisher description
    eBook
  6. 6
    3rd Refinement Workshop : organised by the Programming Research Group, Oxford, and IBM UK Laboratories, Hursley Park, 9-11 January 1990 /
    Published 1991
    Other Authors: “...Morgan, Carroll, 1952-...”
    Conference Proceeding Book
  7. 7
    Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 /
    Published 2009
    Other Authors: “...Morgan, Carroll, 1952-...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 8
    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: “...Morgan, Carroll, 1952-...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 9
    On the refinement calculus /
    Published 1994
    Other Authors: “...Morgan, Carroll, 1952-...”
    Book
  10. 10
    Programming methodology /
    Published 2003
    Other Authors: “...Morgan, Carroll, 1952-...”
    Book
  11. 11
    Programming methodology /
    Published 2003
    Other Authors: “...Morgan, Carroll, 1952-...”
    Connect to the full text of this electronic book
    eBook
  12. 12
    Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
    Published 1993
    Other Authors: “...Morgan, Carroll, 1952-...”
    Book
  13. 13
    Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
    Published 1993
    Other Authors: “...Morgan, Carroll, 1952-...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search