LIBROS DEL AUTOR: rocco de nicola

1 resultados para LIBROS DEL AUTOR: rocco de nicola

rocco de nicola Eliminar filtro Quitar filtros
  • Programming Languages and Systems
    Rocco de Nicola
    This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for o...
    Disponible

    132,62 €