Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Static Analysis
- 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
- Bindende:
- Paperback
- Sider:
- 499
- Utgitt:
- 6. juni 2013
- Utgave:
- 2013
- Dimensjoner:
- 155x235x26 mm.
- Vekt:
- 777 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 17. januar 2025
Utvidet returrett til 31. januar 2025
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
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Static Analysis finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
