Static analysis of software the abstract interpretation /

Detalles Bibliográficos
Otros autores: Boulanger, Jean-Louis.
Formato: Electrónico
Idioma:English
Fecha de publicación: Hoboken, N.J. : Wiley, 2012.
Materias:
Acceso en línea:https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=178712
Descripción
Descripción física:xiv, 331 p. : ill.
Bibliografía:Includes bibliographical references and index.
ISBN:9781118602843 (electronic bk.)