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)
ISBN 10: 3031497368 ISBN 13: 9783031497360
Published by Springer, 2023
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 25 March 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9783031497360_new
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Verification and Evaluation of Computer and ...
Publisher: Springer
Publication Date: 2023
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
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: Marlton Books, Bridgeton, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2023. Seller Inventory # AB-002038
Quantity: 1 available
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, . Notes in Computer Science, Band 14368)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 42806560/1
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: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783031497360
Quantity: 1 available
Seller Image
Verification and Evaluation of Computer and Communication Systems
Published by
Springer Nature Switzerland, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 1215161139
Quantity: Over 20 available
Stock Image
Verification and Evaluation of Computer and Communication Systems (Paperback)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Paperback
First Edition
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 1820, 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. 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 1820, 2023. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031497360
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
Seller Image
Verification and Evaluation of Computer and Communication Systems
Published by
Springer Nature Switzerland, Springer Nature Switzerland Dez 2023, 2023
ISBN 10: 3031497368
ISBN 13: 9783031497360
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch. Seller Inventory # 9783031497360
Quantity: 2 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, 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