Effective Functional Verification : Principles and Processes
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them. The second part with 3 chapters is targeted towards peop...
Uloženo v:
| Hlavní autor: | Vasudevan, Srivatsa |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
New York, NY :
Springer US
2006.
Cham : Springer Nature |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Effective Functional Verification, Texte imprimé, 9780387286013 • Effective Functional Verification, Texte imprimé, 9780387509297 • Effective Functional Verification, Texte imprimé, 9781461498360 |
Podobné jednotky
- Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings (Livre numérique)
- Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 (Livre numérique)
- Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings (Livre numérique)
- Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings (Livre numérique)
- Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings (Livre numérique)

