Artículos relacionados a String Analysis for Software Verification and Security

String Analysis for Software Verification and Security - Tapa blanda

 
9783319686691: String Analysis for Software Verification and Security

Esta edición ISBN ya no está disponible.

Sinopsis

1 Introduction: String Manipulating Programs and Difficulty of Their Analysis.- 2 String Manipulating Programs and Difficulty of Their Analysis.- 3 State Space Exploration.- 4 Automata Based String Analysis.- 5 Relational String Analysis.- 6 Abstraction and Approximation.- 7 Constraint-based String Analysis.- 8 Vulnerability Detection and Sanitization Synthesis.- 9 Differential String Analysis and Repair.- 10 Tools.- 11 A Brief Survey of Related Work.- 12 Conclusions.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2018
  • ISBN 10 3319686690
  • ISBN 13 9783319686691
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783319686684: String Analysis for Software Verification and Security

Edición Destacada

ISBN 10:  3319686682 ISBN 13:  9783319686684
Editorial: Springer, 2018
Tapa dura