Temporal Logics

de Valentin Goranko 

eBook
Bertrand.pt - Temporal Logics
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: outubro de 2023
10%
23,85€
Poupe 2,39€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Temporal Logics
de Valentin Goranko 
ISBN:
9781009184786
Ano de edição:
10-2023
Editor:
CAMBRIDGE UNIVERSITY PRESS
Idioma:
Inglês
Tipo de Produto:
eBook
Formato:
ePUB para ADE i
EAN:
9781009184786
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.