Dettaglio del documento
Trova il documento in altre risorse
Logique temporelle : Semantique et validation de programmes paralleles
Audureau, Éric
Masson <editore>
1990
VAN03@Biblioteca del Dipartimento di Economia
Documento disponibile
Inventario |
32532 |
Collocazione
PREST VCh2
https://unina2.on-line.it/opac/resource/VAN00105915