Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 9780198537687
Price: 1700.14 RON
Availability: InStock

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

Limbă:

Legare: Copertă tare

Editura: Oxford University Press

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

1 700.14 lei

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

Informații despre carte

Autor

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

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2000

Pagini

612

EAN

9780198537687

ISBN

0198537689

Enbook ID

04527497

Editura

Oxford University Press

Greutate

1102

Dimensiuni

164 x 245 x 37

Descriere completă

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.