Celebrate Hispanic Heritage Month

Higher Order Logic and Hardware Verification > Editions

by T.F. Melham First published November 11th 1993

Sort by
Format
Language
Editions
Showing 1-3 of 3
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Published November 26th 1993 by Cambridge University Press
1, Hardcover, 180 pages
Author(s):
ISBN:
9780521417181 (ISBN10: 052141718X)
ASIN:
052141718X
Edition language:
English
Average rating:
4.50 (2 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science) by T. F. Melham (2009-07-02)
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science) by T. F. Melham (2009-07-02)
Published by Cambridge University Press
Mass Market Paperback, 0 pages
Author(s):
ASIN:
B01FEPXS6S
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Published July 2nd 2009 by Cambridge University Press
1, Paperback, 180 pages
Author(s):
ISBN:
9780521115322 (ISBN10: 0521115329)
ASIN:
0521115329
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page