Mohlo by se vám také líbit

Více informací o knize Temporal Logic and State Systems

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

Nákupem získáte 177 bodů

Anotace knihy

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others. All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures and researchers.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: Temporal Logic and State Systems
• Autor: Fred Kröger, Stefan Merz
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 436
• EAN: 9783540674016
• ISBN: 3540674012
• ID: 01567359
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 840 g
• Rozměry: 235 × 155 × 30 mm
• Datum vydání: 27. March 2008

Oblíbené z jiného soudku

---

---

---