Publications written by: Morgan, Carroll
Filter on:
Formal Methods, Informally : How to Write Programs That Work
Formal Methods, Informally : How to Write Programs That Work
9781009421027
Published: 2026
$ 74.06  
Formal Methods, Informally : How to Write Programs That Work
Formal Methods, Informally : How to Write Programs That Work
9781009420990
Published: 2026
$ 166.64  
The Memoirs of a Small Town Christian Police Officer
The Memoirs of a Small Town Christian Police Officer
9781640281240
Published: 2017
$ 17.87  
On the Refinement Calculus
On the Refinement Calculus
9783540198093
Published: 1993
$ 136.62  
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
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
9783540196242
Published: 1991
$ 53.82  
Using Robots
Using Robots
9780387125848
Published: 1985
$ 131.03