Publications written by: Morgan, Carroll
|
|
||||
Formal Methods, Informally : How to Write Programs That Work 9781009421027 Published: 2026 $ 75.14 |
Formal Methods, Informally : How to Write Programs That Work 9781009420990 Published: 2026 $ 169.05 |
The Memoirs of a Small Town Christian Police Officer 9781640281240 Published: 2017 $ 18.13 |
On the Refinement Calculus 9783540198093 Published: 1993 $ 138.60 |
|
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 $ 54.60 |
Using Robots 9780387125848 Published: 1985 $ 132.93 |
|||
Showing 1 to 6 of 6 (1 Pages)