Yazar
ernest g manes
8 cilt bulundu.
Cilt sonuçları
Predicate transformer semantics
Ernest G. Manes · Cambridge University Press
223 sayfa · 1992
Computer science / Mathematics / Programming languages (Electronic computers) / Semantics / Computer science, mathematics
Algebraic approaches to program semantics
Ernest G. Manes · Springer-Verlag
351 sayfa · 1986
Algebra / Programming languages (Electronic computers) / Semantics
Algebraic Approaches to Program Semantics
Ernest G. Manes, Michael A. Arbib · Springer
362 sayfa · 1986
Logic design / Computer science / Artificial intelligence / Programming languages (electronic computers)
Category theory applied to computation and control
Ernest G. Manes · Springer-Verlag
245 sayfa · 1975
Machine theory / Control theory / Categories (Mathematics) / Congresses