Temporal Type Theory
Spivak, David I.
- Numéro de collection
- 0
- Éditorial:
- SPRINGER
- Année d'édition:
- 2019
- ISBN:
- 978-3-030-00703-4
- EAN
- 9783030007034
- Collection:
- Progress in Computer Science and Applied Logic
- Haute:
- 235 Haute
- Largeur:
- 155Largeur
- langage:
- INGLES
-5%
Avant:124,79 €
Après:118,55 €
TVA incluse
SANS STOCK (Livraison estimée 10 jours)
Si votre achat dépasse 19
Temporal Type Theory est de l'auteur Spivak, David I.
Temporal Type Theory de l'auteur Spivak, David I. édité par SPRINGER dans l'année 2019.
Temporal Type Theory a un code ISBN 978-3-030-00703-4. Dans ce cas c'est le format papier, mais nous n'avons pas Temporal Type Theory au format ebook.
D'autres livres de
D'autres livres de SPRINGER
-5%
-5%
