An Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher (Author)

• New

  Hardcover
  2011

  $115.96

  This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.