Dettaglio del documento
Trova il documento in altre risorse
Understanding Behaviour of Distributed Systems Using mCRL2
Atif, Muhammad
eBook
Springer <editore>
2023
VAN15@Biblioteca Centro di servizio SBA
Documento per sola consultazione interna
| Inventario |
EB 14250 |
Collocazione
CONS SBA EBOOK 14250
https://unina2.on-line.it/opac/resource/VAN00279492
