String Analysis For Software Verification And Security

799,00 RON
+ 74,49 RON Livrare

String Analysis For Software Verification And Security

Vândut de:
  • product image

799,00 RON

În stoc
+ 74,49 RON Livrare

Politica de retur pe 14 zile

Protecție cumpărător

Metode de plată:

Detalii produs

Detalii produs

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.
  • Marcă: Springer Nature B.V
  • Categorie: Calcul și internet
  • Limbă: English
  • Număr de pagini: 186
  • Format: Hardcover
  • Data publicării: 2018-01-30
  • Editor / Etichetă: Springer Nature B.V
  • Autor: Tevfik Bultan
  • ID Fruugo: 557224966-1125494404
  • ISBN: 9783319686684
Promisiune

Garanția vânzătorului

Garanție legală de 2 ani inclusă

Drepturile dumneavoastră de consumator din UE includ o garanție legală gratuită de minimum 2 ani

Descărcați garanția legală de conformitate
Livrare

Livrare

Expediat în 24 de ore

  • STANDARD: 104,18 RON - Livrare între vin. 27 noiembrie 2026–joi 10 decembrie 2026

Livrare de la Regatul Unit.

Retururi

Returnări și anulări

Returnări

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole.

Vizualizaţi întreaga politică de returnare

Anulări

Aveți dreptul de a retrage achiziția în termen de 14 zile de la primirea comenzii, fără a oferi un motiv. Pentru a vă exercita cu ușurință dreptul, puteți utiliza linkul „Anulați comanda” din subsolul fiecărei pagini sau din contul dvs. Fruugo, la secțiunea „Comenzi”. După ce vă exercitați dreptul de retragere, vă vom trimite un e-mail de confirmare. Dacă comanda dvs. a fost deja expediată de comerciant, vă vom oferi instrucțiunile de returnare necesare pentru a ne asigura că rambursarea dvs. este procesată prompt.

Vezi politica completă de anulare