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.
2015 30th IEEE/ACM International Conference on Automated Software Engineering : proceedings : 9-13 November 2015, Lincoln, Nebraska / / Myra Cohen, Lars Grunske, Michael Whalen ; sponsored by Institute of Electrical and Electronics Engineers
| 2015 30th IEEE/ACM International Conference on Automated Software Engineering : proceedings : 9-13 November 2015, Lincoln, Nebraska / / Myra Cohen, Lars Grunske, Michael Whalen ; sponsored by Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2015 |
| Descrizione fisica | 1 online resource (xxvi, 910 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer-aided software engineering |
| ISBN | 1-5090-0025-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280865403316 |
| Los Alamitos, California : , : IEEE Computer Society, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2015 30th IEEE/ACM International Conference on Automated Software Engineering : proceedings : 9-13 November 2015, Lincoln, Nebraska / / Myra Cohen, Lars Grunske, Michael Whalen ; sponsored by Institute of Electrical and Electronics Engineers
| 2015 30th IEEE/ACM International Conference on Automated Software Engineering : proceedings : 9-13 November 2015, Lincoln, Nebraska / / Myra Cohen, Lars Grunske, Michael Whalen ; sponsored by Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2015 |
| Descrizione fisica | 1 online resource (xxvi, 910 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer-aided software engineering |
| ISBN | 1-5090-0025-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910137382303321 |
| Los Alamitos, California : , : IEEE Computer Society, , 2015 | ||
| 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 | ||
| ||
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. | UNINA-9910504301503321 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering / / Myra Cohen, Lars Grunske, Michael Whalen, editors
| Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering / / Myra Cohen, Lars Grunske, Michael Whalen, editors |
| Pubbl/distr/stampa | EEE Press : , : Piscataway, NJ, , 2015 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.1 |
| Soggetto topico |
Computer-aided software engineering
Software engineering Teams in the workplace - a processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412064403321 |
| EEE Press : , : Piscataway, NJ, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||