Utvidet returrett til 31. januar 2025

Static Analysis

- 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Om Static Analysis

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783642388552
  • Bindende:
  • Paperback
  • Sider:
  • 499
  • Utgitt:
  • 6. juni 2013
  • Utgave:
  • 2013
  • Dimensjoner:
  • 155x235x26 mm.
  • Vekt:
  • 777 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av Static Analysis

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Brukervurderinger av Static Analysis



Finn lignende bøker
Boken Static Analysis finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.