Showing 1 - 20 results of 21 for search 'Jones, C. B.', query time: 0.16s Refine Results
  1. 1
    Radical sensibility : literature and ideas in the 1790s /
    by Jones, C. B.
    Published 1993
    Book
  2. 2
    Mural: A Formal Development Support System /
    by Jones, C. B.
    Published 1991
    Connect to the full text of this electronic book
    eBook
  3. 3
    Systematic software development using VDM /
    by Jones, C. B. (Cliff B.), 1944-
    Published 1990
    Book
  4. 4
    The Victorian sages ; an anthology of prose /
    by Bellringer, Alan W.
    Published 1975
    Other Authors: “...Jones, C. B....”
    Book
  5. 5
    The Romantic age in prose : an anthology /
    Published 1980
    Other Authors: “...Jones, C. B....”
    Book
  6. 6
    Formal specification and software development /
    by Bjørner, D. (Dines), 1937-
    Published 1982
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Book
  7. 7
    Programming languages and their definition /
    by Bekič, H. (Hans), 1936-1982
    Published 1984
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    eBook
  8. 8
    Essays in computing science /
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Book
  9. 9
    Mural : a formal development support system /
    Published 1991
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Book
  10. 10
    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. (Cliff B.), 1944-...”
    Conference Proceeding Book
  11. 11
    The Vienna development method : the Meta-language /
    Published 1978
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    eBook
  12. 12
    Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    Published 2007
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    Conference Proceeding Book
  13. 13
    Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
    Published 2007
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings /
    Published 1997
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Conference Proceeding Book
  15. 15
    Structure for dependability : computer-based systems from an interdisciplinary perspective /
    Published 2006
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Book
  16. 16
    Structure for dependability : computer-based systems from an interdisciplinary perspective /
    Published 2006
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    eBook
  17. 17
    Reflections on the work of C.A.R. Hoare /
    Published 2010
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    eBook
  18. 18
    Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
    Published 2007
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    eBook
  19. 19
    Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
    Published 2007
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    Conference Proceeding Book
  20. 20
    Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /
    Published 2005
    Other Authors: “...Jones, C. B. (Cliff B.), 1944-...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search