2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) / / Institute of Electrical and Electronics Engineers
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) / / Institute of Electrical and Electronics Engineers
|
| Pubblicazione: | Piscataway : , : IEEE, , 2021 |
| Descrizione fisica: | 1 online resource (ix, 141 pages) : illustrations (some color) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Formal methods (Computer science) |
| Software engineering | |
| Altri titoli varianti: | 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering |
| Titolo autorizzato: | 2021 IEEE |
| ISBN: | 1-66543-913-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910554169503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |