Temporal Type Theory
Spivak, David I.
- Nº Col·lecció
- 0
- Editorial:
- SPRINGER
- Any d'edició:
- 2019
- ISBN:
- 978-3-030-00703-4
- EAN
- 9783030007034
- Col·lecció:
- Progress in Computer Science and Applied Logic
- Alt:
- 235 Alt
- Ample:
- 155Ample
- Idioma:
- INGLES
-5%
Abans:124,79 €
Després118,55 €
IVA inclòs
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 paper, pero no disponemos de Temporal Type Theory en formato ebook.
Otros libros de
Otros libros de SPRINGER
-5%
-5%
