Books by Carroll Morgan

2 titles available, newest first by original publication date.

Formal Methods, Informally: How to Write Programs That Work

Formal Methods, Informally: How to Write Programs That Work

Carroll Morgan

$65.99

On the Refinement Calculus

On the Refinement Calculus

Carroll Morgan

$67.99