Verification and Evaluation of Computer and Communication Systems | 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Belgacem Ben Hedia (u. a.)
ISBN 10: 3031497368 ISBN 13: 9783031497360
Verlag: Springer, 2023
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Verification and Evaluation of Computer and Communication Systems | 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2023 | Springer | EAN 9783031497360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 127901335
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Verification and Evaluation of Computer and ...
Verlag: Springer
Erscheinungsdatum: 2023
Einband: Taschenbuch
Zustand: Neu