Static analysis of software : the abstract interpretation /

Show other versions (1)

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called ""abstract interpretation"" currently being used in various industrial...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Boulanger, Jean-Louis
Format: Electronic eBook
Language:Inglés
Published: London, UK ; Hoboken, NJ : ISTE/Wiley, 2012.
Series:ISTE.
Subjects:
Computer software > Testing.
Debugging in computer science.
Computer software > Quality control.
Débogage.
Logiciels > Qualité > Contrôle.
COMPUTERS > Software Development & Engineering > Quality Assurance & Testing.
Computer software > Quality control
Computer software > Testing
Debugging in computer science
Online Access:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items