Verification and Evaluation of Computer and Communication Systems
- Indbinding:
- Paperback
- Sideantal:
- 200
- Udgivet:
- 19. december 2023
- Udgave:
- 23001
- Størrelse:
- 155x12x235 mm.
- Vægt:
- 312 g.
- 8-11 hverdage.
- 22. november 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af 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.
Brugerbedømmelser af Verification and Evaluation of Computer and Communication Systems
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Verification and Evaluation of Computer and Communication Systems findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621
