Current Trends in Hardware Verification and Automated Theorem Proving
📄 Viewing lite version
Full site ›
Book Details
PublisherSpringer
ISBN / ASIN0387969888
ISBN-139780387969886
AvailabilityUsually ships in 1 to 3 weeks
Sales Rank9,493,720
CategoryComputers
MarketplaceUnited States 🇺🇸
More Books in Computers
The Good Web Site Guide 2006: The Completely Revised, …
View
The Pentium Microprocessor
View
Advanced Intel Microprocessors: 80286, 80386, And 80486
View
Differential Equations: Matrices and Models
View
Digital Experiments: Emphasizing Troubleshooting (Merr…
View
Data Structures for Computer Information Systems
View
The Little LISPer, Third Edition
View
Inside Networks
View
Computer Graphics Using Open GL (2nd Edition)
View