Main image
Click to view image in fullscreen
calcActive())">
Formal Verification
1 040,00 DH
1 027,00 DH
Sur commande
1) { qty = qty - 1 }">
| ISBN / EAN | 9780128007273 |
|---|---|
| Auteur | Seligman, Erik (Cadence Design Systems, working with the Jasper Formal Verification tool suite.) |
| Editeur | Elsevier Science & Technology |