SAT-Based Scalable Formal Verification Solutions /
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Nueva York, EUA :
Springer,
2007, c2007
|
| Collection: | (Series on Integrated Circuits and Systems)
|
| Sujets: | |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
| Cote: |
621. 381548 GAN
|
||
|---|---|---|---|
| Ejemplar 0500174777 |
Disponible
Préstamo 7 días a 90
|
Collection:
Colección General
|
Notes:
Ubicar en Nivel 1 Área de Colección General
|