Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 9780198537687
Price: 118012 HUF
Availability: InStock

Szerző: Dov M. Gabbay, etc., M. Finger, M Reynolds

Nyelv:

Kötés: Kemény kötésű

Kiadó: Oxford University Press

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

118 012 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2000

oldal

612

EAN

9780198537687

ISBN

0198537689

Enbook ID

04527497

Kiadó

Oxford University Press

Súly

1102

Méretek

164 x 245 x 37

Teljes leírás

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.