Temporal Type Theory
Spivak, David I.
Inglês
EAN
9783030007034
Editorial
Ano de edição
2019
Idioma
Inglês
Coleção
Progress in Computer Science and Applied Logic
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres