Capa do artigo Temporal Logic: Volume 1

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
idioma: inglês
Editor: Oxford University Press, julho de 1994 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
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.

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

Propriedade Descrição
ISBN: 9780198537694
Editor: Oxford University Press
Data de Lançamento: julho de 1994
Idioma: Inglês
Encadernação: Capa dura
Páginas: 668
Tipo de produto: Livro
Coleção: Oxford Logic Guides
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9780198537694

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

DOV M. GABBAY

VER MAIS TÍTULOS DESTE AUTOR