Dettaglio del documento
Trova il documento in altre risorse
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior
Schultz, Patrick
eBook
Birkhäuser <editore>
2019
VAN08@Biblioteca del Dipartimento di Matematica e Fisica
Documento per sola consultazione interna
| Inventario |
eMF 1766 |
Collocazione
DLOAD e-book 1766
https://unina2.on-line.it/opac/resource/VAN00127200
