Publications written by: Morgan, Carroll
|
|
||||
Formal Methods, Informally : How to Write Programs That Work 9781009421027 Published: 2026 $ 74.06 |
Formal Methods, Informally : How to Write Programs That Work 9781009420990 Published: 2026 $ 166.64 |
The Memoirs of a Small Town Christian Police Officer 9781640281240 Published: 2017 $ 17.87 |
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 9783540196242 Published: 1991 $ 53.82 |
Using Robots 9780387125848 Published: 1985 $ 131.03 |
|||
Showing 1 to 6 of 6 (1 Pages)