Start Over
You searched for: author_facet Morgan, Carroll

Search Results

Cover image for Formal methods, foundations and applications

Formal methods, foundations and applications

Location
Access Content Online
Cover image for Theoretical aspects of computing -- ICTAC 2009

Theoretical aspects of computing -- ICTAC 2009

Location
Access Content Online
Cover image for Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Location
Access Content Online
Cover image for Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Location Call # Status
Joyner - General Stacks TA340 .M43 2005 ✔ Available
Cover image for Programming methodology

Programming methodology

  • 2003
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .P76 2003 ✔ Available
Cover image for Programming from specifications

Programming from specifications

Location Call # Status
Joyner - General Stacks QA76.6 .M668 1994 ✔ Available
Cover image for Mathematics of program construction

Mathematics of program construction

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .M367 1993 ✔ Available
Cover image for Mathematics of program construction

Mathematics of program construction

  • 1993
  • Format: Electronic
Location
Access Content Online
Cover image for On the refinement calculus

On the refinement calculus

  • 1992
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .O49 1994 ✔ Available
Cover image for Programming from specifications

Programming from specifications

Location Call # Status
Joyner - General Stacks QA76.6.M668 1990 ✔ Available