Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 04527497
Price: 7444 CZK
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198537687

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 04527497

Nakladatelství Oxford University Press, březen 2000

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily... Celý popis

Libristo kód: 04527497

744 b

7 444 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Temporal Logic Dov M. Gabbay

Brožovaná

2 646 Kč

Temporal Logic: Volume 1 Dov M. Gabbay

Pevná

11 397 Kč

For Your Eyes Only Ian Fleming

Brožovaná

237 Kč

Dentist and a Gentleman Tracey L. Adams

Pevná

1 530 Kč

My Deepest Heart's Devotions 5 Gertrude Kabatalemwa

Brožovaná

316 Kč

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

Pevná

1 164 Kč

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.