- 5 Risultati
prezzo più basso: € 176,45, prezzo più alto: € 229,03, prezzo medio: € 209,04
1
Advances in Temporal Logic - Howard Barringer
Ordina
da ZVAB.com
€ 203,29
Spedizione: € 0,001
OrdinaLink sponsorizzato
Howard Barringer:

Advances in Temporal Logic - copertina rigida, flessible

1999, ISBN: 0792361490

[EAN: 9780792361497], Neubuch, [SC: 0.0], [PU: Springer Netherlands], DATENVERARBEITUNG / DATENVERSCHLÜSSELUNG, KRYPTOGRAFIE; LOGIK; PHILOSOPHIE ACTION; CPROGRAMMINGLANGUAGE; NATURAL; ALG… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Advances in Temporal Logic - Howard Barringer & Michael Fisher & D.M. Gabbay & Graham Gough
Ordina
da Orellfuessli.ch
CHF 234,00
(indicativi € 229,03)
Spedizione: € 17,621
OrdinaLink sponsorizzato

Howard Barringer & Michael Fisher & D.M. Gabbay & Graham Gough:

Advances in Temporal Logic - copertina rigida, flessible

ISBN: 9780792361497

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of di… Altro …

Nr. A1000764616. Costi di spedizione:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 1 - 2 Wochen, zzgl. Versandkosten. (EUR 17.62)
3
Advances in Temporal Logic - Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 222,44
Spedizione: € 0,001
OrdinaLink sponsorizzato
Barringer, Howard (Herausgeber); Gough, Graham (Herausgeber); Gabbay, Dov M. (Herausgeber); Fisher, Michael (Herausgeber):
Advances in Temporal Logic - copertina rigida, flessible

1999

ISBN: 0792361490

2000 Gebundene Ausgabe Datenverarbeitung / Datenverschlüsselung, Kryptografie, Logik, Philosophie / Logik, Informationstheorie, Mathematische Grundlagen, Philosophie: Logik, Algorithmen… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Advances in Temporal Logic - Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham
Ordina
da booklooker.de
€ 176,45
Spedizione: € 0,001
OrdinaLink sponsorizzato
Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham:
Advances in Temporal Logic - Prima edizione

1999, ISBN: 9780792361497

edizione con copertina rigida

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Time is a fascinating subject and has long sin… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Advances in Temporal Logic - Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Ordina
da lehmanns.de
€ 213,99
Spedizione: € 0,001
OrdinaLink sponsorizzato
Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough:
Advances in Temporal Logic - copertina rigida, flessible

1999, ISBN: 9780792361497

Buch, Hardcover, 2000 ed. [PU: Springer], Springer, 1999

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Advances in Temporal Logic

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.

Informazioni dettagliate del libro - Advances in Temporal Logic


EAN (ISBN-13): 9780792361497
ISBN (ISBN-10): 0792361490
Copertina rigida
Anno di pubblicazione: 1999
Editore: Springer
468 Pagine
Peso: 0,853 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-04-26T13:39:17+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-01-16T22:40:14+01:00 (Zurich)
ISBN/EAN: 9780792361497

ISBN - Stili di scrittura alternativi:
0-7923-6149-0, 978-0-7923-6149-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : michael howard, gough michael, fisher, graham, barring, barringer, dov gabbay
Titolo del libro: advances temporal logic, orange, what logic


Dati dell'editore

Autore: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Titolo: Applied Logic Series; Advances in Temporal Logic
Editore: Springer; Springer Netherland
453 Pagine
Anno di pubblicazione: 1999-12-31
Dordrecht; NL
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9789048153893 Advances in Temporal Logic (Applied Logic Series, 16) (Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham)


< Per archiviare...