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.
Tools for Practical Software Verification
- International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
- Bindende:
- Paperback
- Sider:
- 183
- Utgitt:
- 30. november 2012
- Utgave:
- 2012
- Dimensjoner:
- 155x235x15 mm.
- Vekt:
- 454 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 12. desember 2024
Beskrivelse av Tools for Practical Software Verification
The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
Brukervurderinger av Tools for Practical Software Verification
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Tools for Practical Software Verification finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
