LIBROS DEL AUTOR: chris hankin

3 resultados para LIBROS DEL AUTOR: chris hankin

chris hankin Eliminar filtro Quitar filtros
  • Introducao ao calculo lambda
    Chris Hankin / Jo O. Rasga / Jo ORasga
    O cálculo lambda é um dos pilares da ciência da computação. Para alému2028do seu papel histórico em teoria da computabilidade, teve influênciau2028significativa no desenho e implementação de linguagens de programação,u2028em semântica denotacional, e em teoria de domínios. O livro dá ênfaseu2028à teoria da demonstração do cálculo lambda sem tipos. Os primeirosu2028capítulos con...
    Disponible

    24,53 €

  • Principles of Program Analysis
    Chris Hankin / Flemming Nielson / Hanne R. Nielson
    Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the ...
    Disponible

    65,41 €

  • Programming Languages and Systems
    Chris Hankin
    This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP’98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited pa...
    Disponible

    66,25 €