Search Results - Jones, C. B. 1944- (Cliff B)

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Systematic software development using VDM

    Systematic software development using VDM by Jones, C. B. 1944- Cliff B.

    Published 1986
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Software development a rigorous approach

    Software development a rigorous approach by Jones, C. B. 1944- Cliff B.

    Published 1980
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Formal specification and software development

    Formal specification and software development by Bjorner, D. 1937- Dines

    Published 1982
    Other Authors: “…Jones, C. B. 1944- Cliff B.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 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

    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 1990
    Other Authors: “…Jones, C. B. 1944- Cliff B.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Refinement Workshop proceedings of the 5th Refinement Workshop organized by BCS-FACS, London, 8-10 January 1992

    Refinement Workshop proceedings of the 5th Refinement Workshop organized by BCS-FACS, London, 8-10 January 1992

    Published 1992
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: