LIBROS DEL AUTOR: kwangkeun yi

2 resultados para LIBROS DEL AUTOR: kwangkeun yi

kwangkeun yi Eliminar filtro Quitar filtros
  • Static Analysis
    Kwangkeun Yi
    This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detec...
    Disponible

    156,48 €

  • Programming Languages and Systems
    Kwangkeun Yi
    APLAS 2005 was the Asian Symposium on Programming Languages and S- tems, held in Tsukuba, Japan in November 2-5, 2005. It was the latest event in the series of annual meetings started in 2000 by Asian researchers in the ?eld of programming languages and systems. The ?rst three were organized as wo- shops, and were held in Singapore(2000), Daejeon (200...
    Disponible

    69,18 €