String Analysis For Software Verification And Security

149,00 €
ja 19,49 € toimitus

String Analysis For Software Verification And Security

Myyjä:

149,00 €

Varastossa
ja 19,49 € toimitus

14 päivän palautuskäytäntö

Ostajan suojaus

Maksutavat:


Tuotetiedot

Tuotetiedot

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.
  • Merkki: Springer Nature B.V
  • Kategoria: Tietokoneet ja internet
  • Tekijä: Tevfik Bultan
  • Formaatti: Hardcover
  • Julkaisuaika: 2018-01-30
  • Kustantaja / Levy-yhtiö: Springer Nature B.V
  • Kieli: English
  • Sivumäärä: 186
  • Fruugo ID: 557224966-1125494404
  • ISBN: 9783319686684
Lupaus

Myyjän takuu

Sisältää 2 vuoden lakisääteisen takuun

EU:n kuluttajan oikeuksiisi kuuluu vähintään 2 vuoden ilmainen lakisääteinen takuu

Lataa vaatimustenmukaisuuden lakisääteinen takuu
Toimitus

Toimitus

Lähetetään 24 tunnin kuluessa

  • STANDARD: 24,99 € - Toimitus välillä ti 24 marraskuuta 2026–pe 27 marraskuuta 2026

Lähetyspaikka: Iso-Britannia.

Palautukset

Palautukset ja peruutukset

Palautukset

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen.

Näytä koko palautuskäytäntö

Peruutukset

Sinulla on oikeus peruuttaa ostoksesi 14 päivän kuluessa tilauksen vastaanottamisesta ilmoittamatta syytä. Voit käyttää oikeuttasi helposti käyttämällä jokaisen sivun alatunnisteessa olevaa "Peruuta tilaukseni" -linkkiä tai Fruugo-tilisi "Tilaukset"-kohdassa. Kun käytät peruutusoikeuttasi, lähetämme sinulle sähköpostivahvistuksen. Jos jälleenmyyjä on jo lähettänyt tilauksesi, annamme sinulle tarvittavat palautusohjeet varmistaaksemme, että hyvityksesi käsitellään nopeasti.

Näytä täydellinen peruutuskäytäntö