Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 9780198537687
Price: 7221 CZK
Availability: InStock

Autor: Dov M. Gabbay, etc., M. Finger, M Reynolds

Jazyk:

Vazba: Pevná

Vydavatel: Oxford University Press

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

7 221 Kč

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

Informace o knize

Autor

Dov M. Gabbay, etc., M. Finger, M Reynolds

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2000

Stránek

612

EAN

9780198537687

ISBN

0198537689

Enbook ID

04527497

Vydavatel

Oxford University Press

Hmotnost

1102

Rozměry

164 x 245 x 37

Kompletní popis

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.