Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 9780198537687
Price: 1319.97 PLN
Availability: InStock

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

Język:

Oprawa: Twarda

Wydawca: Oxford University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

1 319.97 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2000

strony

612

EAN

9780198537687

ISBN

0198537689

Enbook ID

04527497

Wydawca

Oxford University Press

Waga

1102

Wymiary

164 x 245 x 37

Pełny opis

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.