An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher
  • List Price: $145.00
  • ISBN-10: 0470027886
  • ISBN-13: 9780470027882
  • Edition: 1st
  • Type: Hardcover
  • Publisher: Wiley

About The Book

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a... Read more

FINDING THE BEST PRICES

Related Books

Languages and Children: Making the Match, New Languages...
  • Year: 2008
  • Edition: 4th
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780205535484
  • ISBN: 0205535488
Teacher's Handbook
  • Year: 2009
  • Edition: 4th
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781413033212
  • ISBN: 1413033210
MAKING COMMUNICATIVE LANGUAGE TEACHING HAPPEN
  • Year: 2003
  • Edition: 2nd
  • Publisher: McGraw-Hill Humanities/Social Sciences/L
  • Type: Paperback
  • ISBN13: 9780073655178
  • ISBN: 0073655171