Udvidet returret til d. 31. januar 2025

Static Analysis - Bog

- 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Bag om Static Analysis

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642237010
  • Indbinding:
  • Paperback
  • Sideantal:
  • 387
  • Udgivet:
  • 6. september 2011
  • Størrelse:
  • 235x155x23 mm.
  • Vægt:
  • 611 g.
  • 8-11 hverdage.
  • 2. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Static Analysis

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

Brugerbedømmelser af Static Analysis



Find lignende bøger
Bogen Static Analysis findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.