An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

353 pages missing pub info (editions)

nonfiction computer science design mathematics informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 Fo...

Read more

Community Reviews

Loading...

Content Warnings

Loading...