✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Softcover - 9783031497360
58,84 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 19. Dezember 2023
Maße 23.5 cm x 15.5 cm
Gewicht 312 Gramm
Format Softcover
ISBN-13 9783031497360
Auflage 1st ed. 2024
Seiten 179

Herstellerinformationen +