Temporal Type Theory
Temporal Type Theory Spivak, David I.
No. da coleção
0
Editorial:
SPRINGER
Ano de edição:
2019
ISBN:
978-3-030-00703-4
EAN
9783030007034
Coleção:
Progress in Computer Science and Applied Logic
Alto:
235 Alto
Largura:
155Largura
Idioma:
INGLES

-5%

124,79 €

118,55 €

IVA incluído

ESGOTADO (entrega estimada em 10 dias)

Comprar

Notificar disponibilidade

Adicionar aos favoritos

Envio grátis!

Se a sua compra exceder 19

Temporal Type Theory é do autor Spivak, David I.

Temporal Type Theory do autor Spivak, David I. editado por SPRINGER no ano 2019.

Temporal Type Theory tem um código ISBN 978-3-030-00703-4. Neste caso, é o formato papel, mas não temos Temporal Type Theory em formato ebook.

Outros livros de

Outros livros de SPRINGER