Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by StephanMerz (Author), Fred Kröger (Author)

• New

  Hardcover
  2008

  $96.15

  Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;