Mohlo by sa vám tiež páčiť

Viac informácií o knihe Temporal Logic: Volume 2

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 744 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Temporal Logic: Volume 2
• Autor: Dov M. Gabbay, etc., M. Finger, M Reynolds
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 612
• EAN: 9780198537687
• ISBN: 0198537689
• ID: 04527497
• Nakladateľ: Oxford University Press
• Hmotnosť: 1102 g
• Rozmery: 245 × 164 × 37 mm
• Dátum vydania: 30. March 2000

Obľúbené z iného súdka

---

---

---