Introduction to Practical Formal Methods Using Temporal Logic

by Michael Fisher

No reviews yet
First published: 2011 1 language ISBN: 9781283405348

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!


More by Michael Fisher


You Might Also Like

More in Logic, symbolic and ...
Gödel's proof

Gödel's proof

Ernest Nagel