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.
Deductive Software Verification: Future Perspectives
- Reflections on the Occasion of 20 Years of KeY
- Bindende:
- Paperback
- Sider:
- 339
- Utgitt:
- 9. desember 2020
- Utgave:
- 12020
- Dimensjoner:
- 155x235x0 mm.
- Vekt:
- 539 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 12. desember 2024
Beskrivelse av Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
Brukervurderinger av Deductive Software Verification: Future Perspectives
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Deductive Software Verification: Future Perspectives finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
