Showing 1 - 5 results of 5 for search 'Hoare, C. A. R. (Charles Antony Richard), 1934-', query time: 0.03s Narrow Search
  1. 1
    Essays in computing science
    Book
    Save to List
    Saved in:
  2. 2
    Communicating sequential processes
    Book
    Save to List
    Saved in:
  3. 3
    Engineering methods and tools for software safety and security
    Published 2009
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  4. 4
    Software and systems safety : specification and verification
    Published 2011
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  5. 5
    Software system reliability and security
    Published 2007
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: