Matemática

Temporal Logic: Volume 1

Mathematical Foundations And Computational Aspects

de Dov M. Gabbay, Mark (, Dept Of Ciencia Da Computacaouniv Sao Paulo, Brazil) Reynolds e Ian Hodkinson 

Bertrand.pt - Temporal Logic: Volume 1
idioma: Inglês
Editor: Oxford University Press
Edição: julho de 1994
415,71€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias

BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

Da mesma coleção

ver +
Set Theory
10%
10% Cartão Leitor Bertrand
43,71€
OUP Oxford
eBook
Controlling The Capital
20%
portes grátis
20% Cartão Leitor Bertrand
118,97€
Poupe 23,79€
Oxford University Press
Temporal Logic: Volume 1
Mathematical Foundations And Computational Aspects
de Dov M. Gabbay, Mark (, Dept Of Ciencia Da Computacaouniv Sao Paulo, Brazil) Reynolds e Ian Hodkinson 
ISBN:
9780198537694
Ano de edição:
07-1994
Editor:
Oxford University Press
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
668
Tipo de Produto:
Livro
Coleção:
Oxford Logic Guides
Classificação Temática:
Livros  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

Livros  >  Livros em Inglês  >  Outros

EAN:
9780198537694

Dos mesmos autores

A New Perspective On Nonmonotonic Logics
20%
portes grátis
20% Cartão Leitor Bertrand
121,66€
Poupe 24,33€
Springer International Publishing AG
Meta-Logical Investigations In Argumentation Networks
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.