String Analysis for Software Verification and Security Tevfik Bultan
69,54 €
Titel: String Analysis for Software Verification and Security, Einband: Taschenbuch, Autor: Tevfik Bultan, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 184, Maße: 235x155x11 mm, Gewicht: 289 g, Verkäufer: buch-mimpf, Schlagworte: Automata-based strong analysis Automated abstraction Automated code repair Automated sanitization synthesis Automated string analysis Computer Security Input validation and sanitization Java Modern programming languages Modern software systems Program Verification String constraints Symbolic verification formal methods software verification string analysis vulnerability detection.
Jetzt bei Ebay:
