Das Buch ist derzeit nicht auf Lager
SAT, QBF, and multicore processors
Autoren
Parameter
Buchkauf
SAT, QBF, and multicore processors, Matthew Lewis
- Sprache
- Erscheinungsdatum
- 2011
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- SAT, QBF, and multicore processors
- Sprache
- Englisch
- Autor*innen
- Matthew Lewis
- Verlag
- Der Andere Verl.
- Erscheinungsdatum
- 2011
- ISBN10
- 3862471209
- ISBN13
- 9783862471201
- Reihe
- Design, test and verification of embedded systems
- Kategorie
- Informatik & Programmierung