LIBROS DEL AUTOR: roberto giacobazzi

1 resultados para LIBROS DEL AUTOR: roberto giacobazzi

roberto giacobazzi Eliminar filtro Quitar filtros
  • Static Analysis
    Roberto Giacobazzi
    Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and applicat...
    Disponible

    65,71 €