LIBROS DEL AUTOR: ernest g manes

2 resultados para LIBROS DEL AUTOR: ernest g manes

ernest g 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 €

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

    89,97 €