10% de desconto

Concise Introduction To Alternating-Time Temporal Logics

A Guide For Understanding The Model-Checking Problem

de Stephane Demri
idioma: inglês
Editor: Springer Nature Switzerland AG, abril de 2026 ‧
60,82€
54,74€
10% DESCONTO IMEDIATO
portes grátis
Venda o seu livro

Concise Introduction To Alternating-Time Temporal Logics

A Guide For Understanding The Model-Checking Problem

de Stephane Demri

Propriedade Descrição
ISBN: 9783032118844
Editor: Springer Nature Switzerland AG
Data de Lançamento: abril de 2026
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 202
Tipo de produto: Livro
Coleção: Computer Science Foundations And Applied Logic
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
EAN: 9783032118844

LIVROS DA MESMA COLEÇÃO