More About the Author
Michael Ellis Fisher (born 3 September 1931) is an English physicist, as well as chemist and mathematician, known for his many seminal contributions to statistical physics, including but not restricted to the theory of phase transitions and critical phenomena.
Review and Comments
Rate the Book
An Introduction to Practical Formal Methods Using Temporal Logic 0 out of 5 stars based on 0 ratings.