Verwandte Artikel zu Verification and Evaluation of Computer and Communication...
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, ... 14368 (Lecture Notes in Computer Science) - Softcover
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2023
- ISBN 10 3031497368
- ISBN 13 9783031497360
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten200
- HerausgeberBen Hedia Belgacem, Maleh Yassine, Krichen Moez
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 53,17
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Verification and Evaluation of Computer and Communication...
Beispielbild für diese ISBN
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18?20, 2023, . Notes in Computer Science, Band 14368)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 200 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 42806560/1
Anzahl: 1 verfügbar
Foto des Verkäufers
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18â"20, 2023, . (Lecture Notes in Computer Science, 14368)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Artikel-Nr. wbs7938884954
Anzahl: 1 verfügbar
Foto des Verkäufers
Verification and Evaluation of Computer and Communication Systems
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 1215161139
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Verlag:
Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, 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 approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. Artikel-Nr. 9783031497360
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783031497360_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 197 pages. 9.25x6.10x0.42 inches. In Stock. Artikel-Nr. x-3031497368
Anzahl: 2 verfügbar