Temporal Type Theory
Spivak, David I.
- Nº Colección
- 0
- Editorial:
- SPRINGER
- Ano de edición:
- 2019
- ISBN:
- 978-3-030-00703-4
- EAN
- 9783030007034
- Colección:
- Progress in Computer Science and Applied Logic
- Alto:
- 235 Alto
- Ancho:
- 155Ancho
- Idioma:
- INGLES
-5%
Antes:124,79 €
Despois118,55 €
IVE incluído
Si tu compra supera los 19 €, los gastos de envío gratis. Ver detalles
Temporal Type Theory es del autor Spivak, David I.
Temporal Type Theory del autor Spivak, David I. editado por SPRINGER en el año 2019.
Temporal Type Theory tiene un código de ISBN 978-3-030-00703-4. En este caso se trata de formato papel, pero no disponemos de Temporal Type Theory en formato ebook.
Otros libros de
Otros libros de SPRINGER
-5%
-5%
