Buy Used and New T.F.Melham Books

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

by T. F. Melham

ISBN 13: 9780521417181

Format: Hardcover (179 pages)
Publisher: Cambridge University Press
Published: 11 Nov 1993

Save for later

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)

by T. F. Melham

ISBN 13: 9780521115322

Format: Paperback (180 pages)
Publisher: Cambridge University Press
Published: 02 Jul 2009
Other Format: Hardcover

Save for later