Items related to 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, Proceedings (Lecture Notes in Computer Science) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2023
- ISBN 10 3031497368
- ISBN 13 9783031497360
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages200
- EditorBen Hedia Belgacem, Maleh Yassine, Krichen Moez
Search results for Verification and Evaluation of Computer and Communication...
Seller Image
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)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # wbs7938884954
Quantity: 1 available
Stock Image
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)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031497360
Quantity: Over 20 available
Stock Image
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031497360_new
Quantity: Over 20 available
Seller Image
Verification and Evaluation of Computer and Communication Systems
Published by
Springer Nature Switzerland, Springer International Publishing Dez 2023, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 200 pp. Englisch. Seller Inventory # 9783031497360
Quantity: 2 available
Stock Image
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)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 200 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 42806560/1
Quantity: 1 available
Seller Image
Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Published by
Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783031497360
Quantity: 1 available
Stock Image
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)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 398113295
Quantity: 4 available
Stock Image
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Published by
Springer-Nature New York Inc, 2024
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 197 pages. 9.25x6.10x0.42 inches. In Stock. Seller Inventory # x-3031497368
Quantity: 2 available
Seller Image
Verification and Evaluation of Computer and Communication Systems
Published by
Springer Nature Switzerland, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1215161139
Quantity: Over 20 available
Stock Image
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)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18399312346
Quantity: 4 available