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.
Verification and Evaluation of Computer and Communication Systems
- Bindende:
- Paperback
- Sider:
- 200
- Utgitt:
- 19. desember 2023
- Utgave:
- 23001
- Dimensjoner:
- 155x12x235 mm.
- Vekt:
- 312 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 12. desember 2024
Beskrivelse av Verification and Evaluation of Computer and Communication Systems
This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
Brukervurderinger av Verification and Evaluation of Computer and Communication Systems
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Verification and Evaluation of Computer and Communication Systems finnes i følgende kategorier:
- Bedrift og læring > Data og IT
- > >
- > >
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
