https://www.ebooknetworking.net/books_detail-052141718X.html

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

Name: Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Author: T. F. Melham
ISBN: 9780521417181

AuthorT. F. Melham

PublisherCambridge University Press

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

112.10 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)T. F. Melham

PublisherCambridge University Press

ISBN / ASIN052141718X

ISBN-139780521417181

MarketplaceUnited States 🇺🇸

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

Book Details

More Books by T. F. Melham