Higher Order Logic and Hardware Verification > Editions
by T.F. Melham First published November 11th 1993
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)
Published
by Cambridge University Press
Mass Market Paperback, 0 pages
Author(s):
ASIN:
B01FEPXS6S
Average rating:
0.0
(0 ratings)
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)
