Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Temporal Logic: Volume 1

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

Език

Английски език

Книга С твърди корици

Код Либристо: 04527498

Издателство Oxford University Press, юли 1994

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Цялото описание

Код Либристо: 04527498

1304 b

539.55 €

1 055.27 лв

Налично при издателя, по поръчка Изпращаме след 17-26 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

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

С меки корици

12.16 € 23.79 лв

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

С меки корици

50.38 € 98.54 лв

The Hydrocene Bronwyn Bailey-Charteris

С меки корици

59.70 € 116.77 лв

Léo Wixtair Scard Книга

Книга

18.33 € 35.84 лв

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

С меки корици

15.22 € 29.77 лв

NATO-Intelligence Günter Weiße

С меки корици

36.35 € 71.09 лв

LIVRE UNE CHANSON LEROY

Аудио компактдиск

19.05 € 37.26 лв

Puzzle Charles Darwin Игра/играчка

Игра

28.53 € 55.80 лв

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

С твърди корици

11.13 € 21.77 лв

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

С меки корици

45.36 € 88.71 лв

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

С меки корици

103.10 € 201.65 лв

Une chaleur si proche Maruja Torres

С меки корици

14.08 € 27.54 лв

L'Oracle des énergies lumineuses ALICIA MOLET

С твърди корици

32.05 € 62.68 лв

Znovuzrozená Soňa Kolmanová

С меки корици

7.56 € 14.78 лв

Anacondas Aparicio Publishing Aparicio Publishing LLC

С твърди корици

29.56 € 57.82 лв

Instrumental Sounds of Nature - Eye of the Storm Various Artists

Аудио компактдиск

10.66 € 20.85 лв

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.