Home / Authors / Manna, Zohar

Books by Manna, Zohar

All books by this author

2 books found
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Spec…
By: Manna, Zohar
View Details
The Deductive Foundations of Computer Programming
The Deductive Foundations of Computer Programming
By: Manna, Zohar
View Details