Suchergebnisse - Manes, Ernest G. 1943-

Predicate transformer semantics

von Manes, Ernest G. 1943-

Online lesen

Foundations of system theory: finitary and infinitary conditions

von Anderson, Brian D. O. 1949-, Arbib, Michael A. 1940-, Manes, Ernest G. 1943-

Algebraic approaches to program semantics

von Manes, Ernest G. 1943-, Arbib, Michael A. 1940-

Predicate transformer semantics

von Manes, Ernest G. 1943-

Algebraic theories

von Manes, Ernest G. 1943-

Arrows, structures, and functors: the categorical imperative

von Arbib, Michael A. 1940-, Manes, Ernest G. 1943-

Predicate transformer semantics

von Manes, Ernest G. 1943-

Foundations of systems theory: finitary and infinitary conditions

von Anderson, Brian D. O. 1949-, Arbib, Michael A. 1940-, Manes, Ernest G. 1943-

A triple miscellany: some aspects of the theory of algebras over a triple

von Manes, Ernest G. 1943-

Algebraic approaches to program semantics

von Manes, Ernest G. 1943-, Arbib, Michael A. 1940-

Algebraic approaches to program semantics

von Manes, Ernest G. 1943-, Arbib, Michael A. 1940-

Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, February 25 - 26, 1974

Weitere beteiligte Personen: “… Manes, Ernest G. 1943- …”