LIBROS DEL AUTOR: ernest manes

4 resultados para LIBROS DEL AUTOR: ernest manes

ernest manes Eliminar filtro Quitar filtros
  • Algebraic Approaches to Program Semantics
    Ernest G. Manes / Michael A. Arbib
    In the 1930s, mathematical logicians studied the notion of 'effective comput­ ability' using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a conven...
    Disponible

    121,23 €

  • Algebraic Theories
    Ernest Manes
    In the past decade, category theory has widened its scope and now inter­ acts with many areas of mathematics. This book develops some of the interactions between universal algebra and category theory as well as some of the resulting applications. We begin with an exposition of equationally defineable classes from the point of view of 'algebraic theori...
    Disponible

    65,89 €

  • Predicate Transformer Semantics
    E. G. Manes / EGManes / Ernest G. Manes / Ernest GManes
    ...
    Disponible

    89,97 €

  • Category Theory Applied to Computation and Control
    Ernest Manes
    ...
    Disponible

    66,44 €