LIBROS DEL AUTOR: nachum dershowitz

4 resultados para LIBROS DEL AUTOR: nachum dershowitz

nachum dershowitz Eliminar filtro Quitar filtros
  • Calendrical Calculations
    Edward M. Reingold / Edward MReingold / Nachum Dershowitz
    ...
    Disponible

    62,08 €

  • Verification
    Nachum Dershowitz
    This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of comp...
    Disponible

    131,49 €

  • Rewriting Techniques and Applications
    Nachum Dershowitz
    Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The pr...
    Disponible

    64,85 €

  • The Evolution of Programs
    Dershowitz / Nachum Dershowitz
    -Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro­ grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabili...
    Disponible

    65,93 €