Temporal Type Theory
Spivak, David I.
Anglès
EAN
9783030007034
Editorial
Any d'edició
2019
Idioma
Anglès
Col·lecció
Progress in Computer Science and Applied Logic
Alt
235
Ample
155
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres