Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Temporal Logic: Volume 1

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

Langue

Anglais

Livre Livre relié

Code Libristo: 04527498

Éditeurs Oxford University Press, juillet 1994

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Description détaillée

Code Libristo: 04527498

1304 b

532.69 € TVA incluse

Sur commande auprès de l’éditeur Expédition sous 17-26 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

Livre de poche

101.89 €

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

Livre de poche

11.99 €

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

Livre de poche

14.99 €

The Hydrocene Bronwyn Bailey-Charteris

Livre de poche

61.59 €

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

Livre de poche

49.99 €

NATO-Intelligence Günter Weiße

Livre de poche

37.59 €

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

Livre de poche

47.95 €

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

Livre relié

10.99 €

Instrumental Sounds of Nature - Eye of the Storm Various Artists

CD Audio

11.09 €

Une chaleur si proche Maruja Torres

Livre de poche

14.09 €

L'Oracle des énergies lumineuses ALICIA MOLET

Livre relié

31.89 €

Anacondas Aparicio Publishing Aparicio Publishing LLC

Livre relié

29.19 €

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.