Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991
| Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991 |
| Autore | Howden William |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 1991 |
| Descrizione fisica | 1 online resource (213 p.;) |
| Disciplina | 005.1/4 |
| Collana | ACM Conferences |
| Soggetto topico |
Computer software - Congresses - Testing
Computer software - Congresses - Verification Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | TAV4 |
| Record Nr. | UNINA-9910376203603321 |
Howden William
|
||
| [Place of publication not identified], : ACM Press, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India
| Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 621.39/5 |
| Soggetto topico |
Integrated circuits - Very large scale integration - Design and construction - Congresses
Multimedia systems - Congresses Integrated circuits - Verification - Congresses Computer software - Congresses - Verification Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996204869003316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India
| Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 621.39/5 |
| Soggetto topico |
Integrated circuits - Very large scale integration - Design and construction - Congresses
Multimedia systems - Congresses Integrated circuits - Verification - Congresses Computer software - Congresses - Verification Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872654203321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
