- 5 resultados
menor preço: € 129,80, preço mais alto: € 174,41, preço médio: € 157,01
1
Advances in Temporal Logic (Applied Logic Series, 16, Band 16)
Encomendar
no/na amazon.de
€ 129,80
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado

Advances in Temporal Logic (Applied Logic Series, 16, Band 16) - encadernado, livro de bolso

1999, ISBN: 9780792361497

Springer, Gebundene Ausgabe, Auflage: 2000, 462 Seiten, Publiziert: 1999-12-31T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9780792361497, 1.83 kg, Logik, Philosophie, Sozialwissenscha… mais…

IN - ÍndiaGebraucht, wie neu. Custos de envio:Gewöhnlich versandfertig in 4 bis 5 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
fechar(X)
2
Advances in Temporal Logic (Applied Logic Series, 16, Band 16)
Encomendar
no/na amazon.de
€ 147,35
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado
Advances in Temporal Logic (Applied Logic Series, 16, Band 16) - encadernado, livro de bolso

1999, ISBN: 9780792361497

Springer, Gebundene Ausgabe, Auflage: 2000, 462 Seiten, Publiziert: 1999-12-31T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9780792361497, 1.83 kg, Logik, Philosophie, Sozialwissenscha… mais…

Custos de envio:Gewöhnlich versandfertig in 6 bis 7 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) buchbaer
fechar(X)
3
Advances in Temporal Logic - Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 173,01
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber):
Advances in Temporal Logic - encadernado, livro de bolso

1999

ISBN: 0792361490

2000 Gebundene Ausgabe Datenverarbeitung / Datenverschlüsselung, Kryptografie, Logik, Philosophie / Logik, Informationstheorie, Mathematische Grundlagen, Algorithmen und Datenstrukturen… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
4
Advances in Temporal Logic - Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Encomendar
no/na lehmanns.de
€ 160,49
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough:
Advances in Temporal Logic - encadernado, livro de bolso

1999, ISBN: 9780792361497

Buch, Hardcover, [PU: Springer], Springer, 1999

Custos de envio:Versand in 7-10 Tagen. (EUR 0.00)
fechar(X)
5
Advances in Temporal Logic - Howard Barringer
Encomendar
no/na Blackwells.co.uk
£ 148,99
(aproximadamente € 174,41)
Envio: € 7,611
Encomendar
Detalhes fornecedor
Link patrocinado
Howard Barringer:
Advances in Temporal Logic - encadernado, livro de bolso

ISBN: 9780792361497

hardback, [PU: Kluwer Academic Publishers]

in stock. Custos de envio:Unknown. (EUR 7.61) Blackwells.co.uk
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Advances in Temporal Logic
Autor:
Título:
Número ISBN:

9780792361497


Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.

Dados detalhados do livro - Advances in Temporal Logic


EAN (ISBN-13): 9780792361497
ISBN (ISBN-10): 0792361490
Livro de capa dura
Ano de publicação: 1999
Editor/Editora: Springer
468 Páginas
Peso: 0,853 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-04-26T12:39:17+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-04-16T21:10:51+01:00 (Lisbon)
Número ISBN/EAN: 9780792361497

Número ISBN - Ortografia alternativa:
0-7923-6149-0, 978-0-7923-6149-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: michael howard, gough michael, fisher, graham, barring, barringer, dov gabbay
Título do livro: advances temporal logic, orange, what logic

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9789048153893 Advances in Temporal Logic (Applied Logic Series) (Applied Logic Series, 16, Band 16) (Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham)

< Para arquivar...