Morgan, Carroll, 1952-
Morgan, Carroll
Morgan, C.C.
Morgan, Charles Carroll 1952-....
Carroll Morgan
VIAF ID: 191366632 ( Personal )
Permalink: http://viaf.org/viaf/191366632
Preferred Forms
- 100 0 _ ‡a Carroll Morgan
- 200 _ | ‡a Morgan ‡b Charles Carroll ‡f 1952-....
- 100 1 _ ‡a Morgan, C.C.
-
- 100 1 _ ‡a Morgan, Carroll
- 100 1 _ ‡a Morgan, Carroll
-
-
- 100 1 _ ‡a Morgan, Carroll ‡d 1952-
-
-
- 100 1 0 ‡a Morgan, Carroll, ‡d 1952-
-
-
-
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park, and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park | |
Abstraction, refinement and proof for probabilistic systems | |
Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers | |
Mathematics of program construction / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.). - Berlin, 1993. | |
Mathematics of program construction : second international conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings | |
On the refinement calculus | |
Programming from specifications | |
Programming methodology | |
SBMF 2011 | |
The Science of Quantitative Information Flow | |
Specification case studies | |
Theoretical aspects of computing : ICTAC 2009 : 6th international colloquium, Kuala Lumpur, Malaysia, August 16 - 20, 2009 : Proceedings |