The book is currently out of stock
SAT, QBF, and multicore processors
Authors
Parameters
Book purchase
SAT, QBF, and multicore processors, Matthew Gregory Lewis
- Language
- Released
- 2011
We’ll notify you via email once we track it down.
Payment methods
- Title
- SAT, QBF, and multicore processors
- Language
- English
- Authors
- Matthew Gregory Lewis
- Publisher
- Der Andere Verl.
- Released
- 2011
- ISBN10
- 3862471209
- ISBN13
- 9783862471201
- Series
- Design, test and verification of embedded systems
- Category
- Computers, IT, Programming