Static analysis of software : the abstract interpretation /

Mostrar otras versiones (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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Boulanger, Jean-Louis
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London, UK ; Hoboken, NJ : ISTE/Wiley, 2012.
Colección:ISTE.
Temas:
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
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares