Mohlo by se vám také líbit

Více informací o knize Temporal Logic: Volume 2

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 744 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Temporal Logic: Volume 2
• Autor: Dov M. Gabbay, etc., M. Finger, M Reynolds
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 612
• EAN: 9780198537687
• ISBN: 0198537689
• ID: 04527497
• Nakladatelství: Oxford University Press
• Hmotnost: 1102 g
• Rozměry: 245 × 164 × 37 mm
• Datum vydání: 30. March 2000

Oblíbené z jiného soudku

---

---

---