String Analysis For Software Verification And Security

1.299,00 DKK
+ 112,99 DKK Levering

String Analysis For Software Verification And Security

Sоlgt af:

1.299,00 DKK

På lager
+ 112,99 DKK Levering

14-dages returpolitik

Køberbeskyttelse

Betalingsmetoder:


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.
  • Brand: Springer Nature B.V
  • Kategori: Computer og internet
  • Format: Hardcover
  • Forlag / Pladeselskab: Springer Nature B.V
  • Udgivelsesdato: 2018-01-30
  • Forfatter: Tevfik Bultan
  • Sprog: English
  • Antal sider: 186
  • Fruugo ID: 557224966-1125494404
  • ISBN: 9783319686684
Løfte

Sælgergaranti

2 års juridisk garanti inkluderet

Dine EU-forbrugerrettigheder inkluderer en gratis minimum 2 års juridisk garanti

Download juridisk overensstemmelsesgaranti
Levering

Levering

Sendes inden for 24 timer

  • STANDARD: 159,72 DKK - Levering mellem kl tir. 24 november 2026–tor. 26 november 2026

Afsendes fra Storbritannien.

Returnering

Returnering og afbestilling

Returnering

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne.

Se fuld returpolitik

Afbestillinger

Du har ret til at fortryde dit køb inden for 14 dage efter modtagelse af din ordre uden at angive en grund. For nemt at udøve din ret kan du bruge linket "Annuller min ordre" i sidefoden på hver side eller på din Fruugo-konto under "Ordrer". Når du har udøvet din fortrydelsesret, sender vi dig en e-mailbekræftelse. Hvis din ordre allerede er blevet sendt af forhandleren, giver vi dig de nødvendige returinstruktioner for at sikre, at din refusion behandles hurtigt.

Se den fulde afbestillingspolitik