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

This book doesn't have any reviews or ratings yet!

If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.