Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 9780198537687
Price: 298.75 EUR
Availability: InStock

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

Jazyk:

Väzba: Pevná

Vydavateľ: Oxford University Press

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

298.75 €

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

Informácie o knihe

Autor

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

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2000

Stránok

612

EAN

9780198537687

ISBN

0198537689

Enbook ID

04527497

Vydavateľ

Oxford University Press

Hmotnosť

1102

Rozmery

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.