Concise Introduction To Alternating-Time Temporal Logics

A Guide For Understanding The Model-Checking Problem

de Stephane Demri 

Bertrand.pt - Concise Introduction To Alternating-Time Temporal Logics
idioma: Inglês
Editor: Springer Nature Switzerland AG
Edição: abril de 2026
Portes
Grátis
20%
60,82€
Poupe 12,16€ (20%) Cartão Leitor Bertrand

Da mesma coleção

Simple Type Theory
10%
92,74€ 83,47€
Springer Nature Switzerland
eBook
Multi-Valued Logic For Decision-Making Under Uncertainty
10%
237,84€ 214,06€
Springer Nature Switzerland
eBook
Concise Introduction To Alternating-Time Temporal Logics
A Guide For Understanding The Model-Checking Problem
de Stephane Demri 
ISBN:
9783032118844
Ano de edição:
04-2026
Editor:
Springer Nature Switzerland AG
Idioma:
Inglês
Dimensões:
155 x 235 x 20 mm
Encadernação:
Capa dura
Páginas:
202
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9783032118844
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.