Search Results - Jones, C. B.

  • Showing 1 - 7 results of 7
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.
    Book

    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.
    Book

    Save to List
    Saved in:
  3. 3
    The Victorian sages an anthology of prose

    The Victorian sages an anthology of prose by Bellringer, Alan W.

    Published 1975
    Other Authors: “…Jones, C. B.…”
    Click Here to View Status and Holdings.
    Book

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

    Save to List
    Saved in:
  5. 5
    Essays in computing science

    Essays in computing science by Hoare, C. A. R. 1934- Charles Antony Richard

    Published 1989
    Other Authors: “…Jones, C. B. (Cliff B.d1944-…”
    Click Here to View Status and Holdings.
    Book

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

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

    Save to List
    Saved in:

Search Tools: