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 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
| Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| Autore | Ivrii Alexander |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2020 |
| 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 |
| ISBN |
9783854480426
3854480423 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910485583803321 |
Ivrii Alexander
|
||
| Vienna, : TU Wien Academic Press, 2020 | ||
| 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 | ||
| ||
