2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : IEEE ICNP 2020 : October 13-16, Madrid, Spain / / Institute of Electrical and Electronics Engineers
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : IEEE ICNP 2020 : October 13-16, Madrid, Spain / / Institute of Electrical and Electronics Engineers
|
| Pubblicazione: | Piscataway, New Jersey : , : IEEE, , [2020] |
| ©2020 | |
| Descrizione fisica: | 1 online resource : illustrations |
| Disciplina: | 004.62 |
| Soggetto topico: | Formal methods (Computer science) |
| Sommario/riassunto: | ICNP 2020, the 28th annual edition of the IEEE International Conference on Network Protocols, is a conference covering all aspects of network protocols, including design, analysis, specification, verification, implementation, and performance. |
| Altri titoli varianti: | 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design |
| Titolo autorizzato: | 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
| ISBN: | 979-83-503-3190-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996575169803316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |