adicionar à lista de desejos
Temporal Logic: Volume 1
Mathematical Foundations And Computational Aspects
idioma: inglês
Editor:
Oxford University Press, julho de 1994 ‧
ver detalhes do produto
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
SINOPSE
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.
DETALHES
| 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: | Temporal Logic |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9780198537694 |