Formal Verification

Auteur: Seligman, Erik (Cadence Design Systems, working with the Jasper Formal Verification tool suite.)
Editeur: Elsevier Science & Technology
Sur commande
ISBN / EAN 9780128007273
Auteur Seligman, Erik (Cadence Design Systems, working with the Jasper Formal Verification tool suite.)
Editeur Elsevier Science & Technology