Start Over
You searched for: author_facet Morgan, Carroll

Search Results

Cover image for Mathematics of program construction

Mathematics of program construction

  • 1993
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.6 .M367 1993
Cover image for Mathematics of program construction

Mathematics of program construction

  • 1993
  • Format: Electronic
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 Programming from specifications

Programming from specifications

Joyner Library - General Stacks
Call Number: QA76.6 .M668 1994
Cover image for On the refinement calculus

On the refinement calculus

  • 1992
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.6 .O49 1994
Cover image for Theoretical aspects of computing -- ICTAC 2009

Theoretical aspects of computing -- ICTAC 2009

Location
Access Content Online
Cover image for Formal methods, foundations and applications

Formal methods, foundations and applications

Location
Access Content Online
Cover image for Programming from specifications

Programming from specifications

Joyner Library - General Stacks
Call Number: QA76.6.M668 1990
Cover image for Programming methodology

Programming methodology

  • 2003
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.6 .P76 2003
Cover image for Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Joyner Library - General Stacks
Call Number: TA340 .M43 2005