Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Temporal Logic: Volume 1

Name: Temporal Logic: Volume 1
Brand: Oxford University Press
SKU: 04527498
Price: 541.59 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198537694

Idioma

Inglés

Libro Tapa dura

Código Libristo: 04527498

Editores Oxford University Press, julio 1994

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Descripción completa

Código Libristo: 04527498

1326 b

541.59 €

Por encargo a la editorial Envío en 17-26 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Paryż. Inspirator podróżniczy Karolina Szczęsna

Tapa blanda

11.59 €

Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun

Tapa blanda

48.49 €

The Hydrocene Bronwyn Bailey-Charteris

Tapa blanda

61.59 €

Léo Wixtair Scard Libro

Libro

17.69 €

Polska na rowerze. 60 wycieczek jednodniowych dla każdego Daniel Sienkiewicz

Tapa blanda

15.39 €

NATO-Intelligence Günter Weiße

Tapa blanda

37.59 €

LIVRE UNE CHANSON LEROY

CD de audio

18.29 €

Puzzle Charles Darwin Juego/Juguete

Juego

27.49 €

Léčivé stromy a keře Pavel Váňa

Tapa dura

10.99 €

Konzerninterne Dienstleistungen international tatiger Unternehmen. Die Verrechnungspreisproblematik und Besonderheiten in DBA-Abkommen ausgewahlter La Chris Krause

Tapa blanda

47.29 €

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold

Tapa blanda

103.69 €

Une chaleur si proche Maruja Torres

Tapa blanda

13.59 €

L'Oracle des énergies lumineuses ALICIA MOLET

Tapa dura

30.89 €

Znovuzrozená Soňa Kolmanová

Tapa blanda

7.59 €

Anacondas Aparicio Publishing Aparicio Publishing LLC

Tapa dura

30.69 €

Instrumental Sounds of Nature - Eye of the Storm Various Artists

CD de audio

10.49 €

This 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. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.