An Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed...

• Format: Hardcover
• Language: English
• ISBN: 0470027886
• ISBN13: 9780470027882
• Release Date: April 2011
• Publisher: Wiley
• Length: 360 Pages
• Weight: 1.75 lbs.
• Dimensions: 0.9" x 6.8" x 9.8"