Search Books

Advanced Automation in Formal Verification of Processors (Berichte aus der Informatik)

Author Ulrich Kuhne
Publisher Shaker Verlag GmbH, Germany
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Price not listed
🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $56.82
Share:
Book Details
Author(s)Ulrich Kuhne
PublisherShaker Verlag GmbH, Germany
ISBN / ASIN3832286195
ISBN-139783832286194
Sales Rank99,999,999
MarketplaceUnited States 🇺🇸

Description ▲