Temporal Type Theory
Spivak, David I.
Anglais
EAN
9783030007034
Éditorial
Année d'édition
2019
langage
Anglais
Collection
Progress in Computer Science and Applied Logic
Haute
235
Largeur
155
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres