Most Popular Books
- Algebraic Approaches to Program Semantics (Texts and Monographs in Computer Science)
- Predicate Transformer Semantics
- Foundations of System Theory: Finitary and Infinitary Conditions
- Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science)
Series By Ernest G. Manes
