Static analysis of software the abstract interpretation /

Bibliographic Details
Other Authors: Boulanger, Jean-Louis.
Format: Electronic
Language:English
Published: Hoboken, N.J. : Wiley, 2012.
Subjects:
Online Access:https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=178712
Description
Physical Description:xiv, 331 p. : ill.
Bibliography:Includes bibliographical references and index.
ISBN:9781118602843 (electronic bk.)