Portada

Temporal Type Theory

SPRINGER
02 / 2019
9783030007034
Inglés
Progress in Computer Science and Applied Logic
Ingles
PVP
124,79