Showing 1 - 6 results of 6 for search 'Jones, Cliff', query time: 0.01s Refine Results
  1. 1
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    by Jones, Cliff B.
    Published in Springer e-books (2007)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Theoretical Aspects of Computing вЂ" ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    by Jones, Cliff B.
    Published in Springer e-books (2007)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
    by Besnard, Denis
    Published in Springer e-books (2006)
    Other Authors: “...Jones, Cliff B....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Rigorous Engineering of Fault-Tolerant Systems
    by Butler, Michael
    Published in Springer e-books (2006)
    Other Authors: “...Jones, Cliff...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    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
    by Abdallah, Ali E.
    Published in Springer e-books (2005)
    Other Authors: “...Jones, Cliff B....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 6
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Other Authors: “...Jones, Cliff...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed