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 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 online resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Artificial intelligence
Computer architecture and logic design Mathematical theory of computation Software testing and verification Systems analysis and design |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910504301503321 |
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNISA-996580848503316 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||