Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Temporal Logic: Volume 2
Jazyk
Angličtina
Angličtina
Kniha
Pevná
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily...
Celý popis
Libristo kód: 04527497
?
1166 b
1166 b
11 662
Kč
Skladem u dodavatele
Odesíláme za 14-18 dnů
30 dní na vrácení zboží
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.
Informace o knize
Plný název
Temporal Logic: Volume 2
Autor
Dov M. Gabbay, etc., M. Finger, M Reynolds
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2000
Počet stran
612
EAN
9780198537687
ISBN
0198537689
Libristo kód
04527497
Nakladatelství
Oxford University Press
Váha
1102
Rozměry
164 x 245 x 37
Kategorie
