Browse editions

Current edition
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
Other editions (0)