- 0 resultaten
laagste prijs: € 157,69, hoogste prijs: € 289,16, gemiddelde prijs: € 215,58
1
Advances in Temporal Logic - Herausgegeben von Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham
bestellen
bij booklooker.de
€ 157,69
verzending: € 0,001
bestellen
Gesponsorde link
Herausgegeben von Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham:

Advances in Temporal Logic - pocketboek

2010, ISBN: 9789048153893

[ED: Softcover], [PU: Springer Netherlands], Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Advances in Temporal Logic - Howard Barringer
bestellen
bij Indigo.ca
C$ 440,50
(ongeveer € 289,16)
bestellen
Gesponsorde link

Howard Barringer:

Advances in Temporal Logic - nieuw boek

ISBN: 9789048153893

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 … Meer...

  - new Free shipping on orders above $25. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
Advances in Temporal Logic - Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
bestellen
bij Springer.com
€ 213,99
bestellen
Gesponsorde link
Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough:
Advances in Temporal Logic - pocketboek

ISBN: 9789048153893

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… Meer...

  - new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
4
Advances in Temporal Logic
bestellen
bij Indigo.ca
C$ 354,95
(ongeveer € 226,59)
bestellen
Gesponsorde link
Advances in Temporal Logic - nieuw boek

ISBN: 9789048153893

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 d… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
5
Advances in Temporal Logic - Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham
bestellen
bij booklooker.de
€ 190,45
verzending: € 0,001
bestellen
Gesponsorde link
Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham:
Advances in Temporal Logic - eerste uitgave

2010, ISBN: 9789048153893

pocketboek

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Time is a fascinating subject a… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.
Bijzonderheden over het boek
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.

Gedetalleerde informatie over het boek. - Advances in Temporal Logic


EAN (ISBN-13): 9789048153893
ISBN (ISBN-10): 9048153891
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
464 Bladzijden
Gewicht: 0,696 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-01-02T18:10:58+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-06-24T14:31:03+02:00 (Amsterdam)
ISBN/EAN: 9789048153893

ISBN - alternatieve schrijfwijzen:
90-481-5389-1, 978-90-481-5389-3


Gegevens van de uitgever

Auteur: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Titel: Applied Logic Series; Advances in Temporal Logic
Uitgeverij: Springer; Springer Netherland
453 Bladzijden
Verschijningsjaar: 2010-12-08
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,712 kg
Taal: Engels
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
POD
IX, 453 p.

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

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.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401595865 Advances in Temporal Logic (S. Murakami)


< naar Archief...