Search Results - Jones, C. B. 1944- (Cliff B)
- Showing 1 - 5 results of 5
-
1
Systematic software development using VDM by Jones, C. B. 1944- Cliff B.
Published 1986Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown -
2
Software development a rigorous approach by Jones, C. B. 1944- Cliff B.
Published 1980Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown -
3
Formal specification and software development by Bjorner, D. 1937- Dines
Published 1982Other Authors: “…Jones, C. B. 1944- Cliff B.…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown -
4
Programming concepts and methods proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
Published 1990Other Authors: “…Jones, C. B. 1944- Cliff B.…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown -
5
Refinement Workshop proceedings of the 5th Refinement Workshop organized by BCS-FACS, London, 8-10 January 1992
Published 1992Other Authors:Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Unknown