bokomslag Temporal Logic: Volume 2
Data & IT

Temporal Logic: Volume 2

Dov M Gabbay

Inbunden

5469:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 612 sidor
  • 2000
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.
  • Författare: Dov M Gabbay
  • Illustratör: line figures
  • Format: Inbunden
  • ISBN: 9780198537687
  • Språk: Engelska
  • Antal sidor: 612
  • Utgivningsdatum: 2000-03-01
  • Förlag: OUP Oxford