ISBN 9780521115322 books & textbook
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Cambridge University Press /2009-07-02 Paperback / 180 Pages
isbn-10: 0521115329 / isbn-13: 9780521115322
