Search Results - Barringer, Howard, 1951-

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Cover Image

    A survey of verification techniques for parallel programs / by Barringer, Howard, 1951-

    Published 1985
    Full Text (via Internet Archive)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    A survey of verification techniques for parallel programs by Barringer, Howard, 1951-

    Published 1985
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    A survey of verification techniques for parallel programs / by Barringer, Howard, 1951-

    Published 1985
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings /

    Published 2010
    Other Authors: “…Barringer, Howard, 1951-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Advances in temporal logic /

    Published 2000
    Other Authors: “…Barringer, Howard, 1951-…”
    Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    The imperative future : principles of executable temporal logic /

    Published 1996
    Other Authors: “…Barringer, Howard, 1951-…”
    Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    Advances in temporal logic /

    Published 2000
    Other Authors: “…Barringer, Howard, 1951-…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Temporal logic in specification Altrincham, UK, April 8-10, 1987 : proceedings /

    Published 1989
    Other Authors: “…Barringer, Howard, 1951-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /

    Published 1989
    Other Authors: “…Barringer, Howard, 1951-…”
    Conference Proceeding Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search