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
On the Refinement Calculus / by Morgan, Carroll
Published 1994Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
2
Programming from specifications / by Morgan, Carroll, 1952-
Published 1990Call Number: Loading…
Located: Loading…Book Loading… -
3
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 2020Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
4
Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle
Published 2005Other Authors: “…Morgan, Carroll, 1952-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
5
Abstraction, refinement and proof for probabilistic systems / by McIver, Annabelle
Published 2005Other Authors: “…Morgan, Carroll, 1952-…”
Call Number: Loading…
Located: Loading…Book Loading… -
6
Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /
Published 2011Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
7
Theoretical aspects of computing 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009 /
Published 2009Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
8
On the refinement calculus /
Published 1994Other Authors: “…Morgan, Carroll, 1952-…”
Call Number: Loading…
Located: Loading…Book Loading… -
9
Programming methodology /
Published 2003Other Authors:Call Number: Loading…
Located: Loading…Book Loading… -
10
Programming methodology
Published 2003Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
11
Mathematics of program construction second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
Published 1993Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
12
Advanced elder law institute 2010.
Published 2010Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
RSS Feed
–
Save Search