Search Results - Huth, Michael, 1962-

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Book
    Book

    Logic in computer science : modelling and reasoning about systems by Huth, Michael, 1962-

    Published 2004

Search Tools: