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 and Verification of Aerospace Software by Abstract Interpretation
- Bindende:
- Paperback
- Sider:
- 140
- Utgitt:
- 15. desember 2015
- Dimensjoner:
- 156x234x8 mm.
- Vekt:
- 208 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 12. desember 2024
Beskrivelse av Static Analysis and Verification of Aerospace Software by Abstract Interpretation
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This book presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification.
Brukervurderinger av Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Static Analysis and Verification of Aerospace Software by Abstract Interpretation finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
