- 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) - encadernada, 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 - IndienGebraucht, 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) - encadernada, 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 - encadernada, 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 - encadernada, 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 - encadernada, 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 item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro 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:

0792361490


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-26T08:39:17-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-04-16T17:10:51-03:00 (Sao Paulo)
Número ISBN/EAN: 0792361490

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

Dados da editora

Autor: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Título: Applied Logic Series; Advances in Temporal Logic
Editora: Springer; Springer Netherland
453 Páginas
Ano de publicação: 1999-12-31
Dordrecht; NL
Língua: Inglês
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
IX, 453 p.

BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Action; C programming language; Natural; algorithms; complexity; databases; information; logic; modal logic; Mathematical Logic and Foundations; Logic; Artificial Intelligence; Data Structures and Information Theory; Mathematische Grundlagen; Philosophie: Logik; Künstliche Intelligenz; Algorithmen und Datenstrukturen; Informationstheorie; BC

A Hierarchy of Modal Event Calculi: Expressiveness and Complexity; I. Cervesato, et al. Release Logics for Temporalizing Dynamic Logic; J. Krabbendam, J.-J. Meyer. Compositional Verification of Timed Statecharts; F. Levi. Temporal Logic for Stabilizing Systems; Y. Lakhnech, M. Siegel. Decidable Theories of omega-Layered Metric Temporal Structures; A. Montanari, et al. Synthesis with Incomplete Information; O. Kupferman, M. Vardi. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study; N.S. Bjørner, et al. Using Otter for Temporal Resolution; C. Dixon. Guiding Clausal Temporal Resolution; M. Fisher, C. Dixon. Determinism and the Origins of Temporal Logic; T. Bräuner, et al. Modelling Linguistic Events; M. Leith, J. Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language; R. Naumann. A Decidable Temporal Logic for Temporal Propositions; I. Pratt, N. Francez. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations; A. Galton. A Modal Logic of Durative Actions; I. Nunes, et al. About Real Time, Calendar Systems and Temporal Notions; H.J. Ohlbach. A Model Checking Algorithm for pi-Calculus Agents; S. Gnesi, G. Ristori. Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems; T. Luo, et al. Constructive Interval Temporal Logic in Alf; S. Thompson. Two-dimensional Executable Temporal Logic for Bitemporal Databases; M. Finger, M. Reynolds. Execution and Proof in a Horn-Clause Temporal Logic; C. Dixon, et al. Specification and Prototyping of Structures Multimedia Documents using Interval Temporal Logic; H. Bowman, et al.

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

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

< Para arquivar...