Temporal Type Theory
Spivak, David I.
Inglés
EAN
9783030007034
Editorial
Ano de edición
2019
Idioma
Inglés
Colección
Progress in Computer Science and Applied Logic
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déixanos a túa opinión
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres