String Analysis For Software Verification And Security

NOK 1 399,00
+ NOK 228,99 i frakt

String Analysis For Software Verification And Security

Solgt av:
  • product image

NOK 1 399,00

På lager
+ NOK 228,99 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

String Analysis For Software Verification And Security

This Book Discusses Automated String-analysis Techniques, Focusing Particularly On Automata-basednbsp;static String Analysis. It Covers The Following Topics: Automata-basesnbsp;string Analysis, Computing Pre And Post-conditions Of Basic Stringnbsp;operations Using Automata, Symbolic Representation Of Automata, Forwardnbsp;and Backward String Analysis Using Symbolic Automata Representation, Constraint-based String Analysis, String Constraint Solvers, Relational Stringnbsp;analysis, Vulnerability Detection Using String Analysis, String Abstractions, Differential String Analysis, And Automated Sanitization Synthesis Usingnbsp;string Analysis. String Manipulation Is A Crucial Part Of Modern Software Systems; Fornbsp;example, It Is Extensively In Input Validation And Sanitization And Innbsp;dynamic Code And Query Generation.
  • Fruugo-ID: 557224966-1125494404
  • ISBN: 9783319686684
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 228,99 - Levering mellom kl ons. 02 desember 2026–fre. 04 desember 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur