Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Temporal Logic: Volume 2

Език Английски езикАнглийски език
Книга С твърди корици
Книга Temporal Logic: Volume 2 Dov M. Gabbay
Код Либристо: 04527497
Издателство Oxford University Press, март 2000
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Цялото описание
? points 777 b
321.69 €
629.17  лв
Външен склад Изпращаме след 9-15 дни

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

Може би ще Ви заинтересува

Temporal Logic Dov M. Gabbay / Книга С меки корици
common.buy 119.77 € 234.26 лв
Temporal Logic: Volume 1 Dov M. Gabbay / Книга С твърди корици
common.buy 514.48 € 1 006.25 лв
For Your Eyes Only Ian Fleming / Книга С меки корици
common.buy 10.35 € 20.25 лв
Dentist and a Gentleman Tracey L. Adams / Книга С твърди корици
common.buy 70.73 € 138.34 лв
My Deepest Heart's Devotions 5 Gertrude Kabatalemwa / Книга С меки корици
common.buy 13.72 € 26.83 лв
The Sixth and Seventh Books of Herodotus: With a Life of Herodotus, an Epitome of His History, a Summary of the Dialect, and Explanatory Notes (1885) Herodotus / Книга С твърди корици
common.buy 50.64 € 99.05 лв

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Temporal Logic: Volume 2
Автор Dov M. Gabbay, etc., M. Finger, M Reynolds
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2000
Брой страници 612
Баркод 9780198537687
ISBN 0198537689
Код Либристо 04527497
Издателство Oxford University Press
Тегло 1102
Размери 164 x 245 x 37

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo