Libros de: Rival, Xavier

Mostrando 1 libros encontrados. (1 páginas).

ordenar por Título ascendente Título descendente Autor ascendente Autor descendente Más baratos Más caros Más recientes Más antiguos

• 

  Introduction to Static Analysis "An Abstract Interpretation Perspective"
  

  Rival, Xavier Yi, Kwangkeun

  Mit Press (2020)

  

  • EAN: 9780262043410
  • Páginas: 305
  • Fecha de edición: 2020

  pvp.73,95 €

  Disponible entre 11 y 20 dias

  comprar

  A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
  
  Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays ...