Temporal Type Theory

A Topos-Theoretic Approach To Systems And Behavior

de David I. Spivak e Patrick Schultz 

eBook
Bertrand.pt - Temporal Type Theory
idioma: Inglês
Editor: Springer International Publishing
Edição: janeiro de 2019
10%
145,09€
Poupe 14,51€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.

Da mesma coleção

Communism And Nationalism In Postwar Cyprus, 1945-1955
10%
portes grátis
10% Cartão Leitor Bertrand
60,82€
Poupe 6,08€
Springer International Publishing AG
Advances In Proof Theory
10%
portes grátis
10% Cartão Leitor Bertrand
89,21€
Poupe 8,92€
BIRKHAUSER VERLAG AG
Temporal Type Theory
A Topos-Theoretic Approach To Systems And Behavior
de David I. Spivak e Patrick Schultz 
ISBN:
9783030007041
Ano de edição:
01-2019
Editor:
Springer International Publishing
Idioma:
Inglês
Tipo de Produto:
eBook
Formato:
ePUB para ADE i
EAN:
9783030007041
Acessibilidade:
Ver caracteristicas de acessibilidade indicadas pelo editor
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.