BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Verification and Evaluation of Computer and Communication Systems: 16th
Stock photo: cover may vary

Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, Paperback - 2023

by Belgacem Ben Hedia (Editor); Yassine Maleh (Editor); Moez Krichen (Editor)

Add to wish list

Reader reviews for Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023,

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

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.

Details

  • Title Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023,
  • Author Belgacem Ben Hedia (Editor); Yassine Maleh (Editor); Moez Krichen (Editor)
  • Binding Paperback
  • Pages 179
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2023-12-19
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783031497360 / 3031497368
  • Weight 0.63 lbs (0.29 kg)
  • Dimensions 9.21 x 6.14 x 0.42 in (23.39 x 15.60 x 1.07 cm)
  • Category Computers - General Information
Back to top↑

More Copies for Sale

Verification and Evaluation of Computer and Communication Systems : 16th International...

Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783031497360 / 3031497368
Quantity available
421
Seller
Ria Christie Collections
Item price
A$103.11
A$15.26 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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
Add to wish list
Item price
A$103.11
A$15.26 Delivery to USA
Verification and Evaluation of Computer and Communication Systems: 16th International Conference,...

Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings

by Belgacem Ben Hedia

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783031497360 / 3031497368
Quantity available
10
Seller
The Saint Bookstore
Biblio Top Seller
Item price
A$109.34
A$19.01 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$109.34
A$19.01 Delivery to USA
Verification and Evaluation of Computer and Communication Systems: 16th International Conference,...
Stock photo: cover may vary

Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

by Hedia, Belgacem Ben (Editor)/ Maleh, Yassine (Editor)/ Krichen, Moez (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783031497360 / 3031497368
Quantity available
2
Seller
Revaluation Books
Item price
A$136.39
A$28.66 Delivery to USA

Show details

Description:
Springer-Nature New York Inc, 2024. Paperback. New. 197 pages. 9.25x6.10x0.42 inches.
Add to wish list
Item price
A$136.39
A$28.66 Delivery to USA
Verification and Evaluation of Computer and Communication Systems: 16th International Conference,...
Stock photo: cover may vary

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)

  • New
Condition
New
ISBN 10 / ISBN 13
9783031497360 / 3031497368
Quantity available
4
Seller
Cold Books
Item price
A$146.30
A$5.76 Delivery to USA

Show details

Description:
1st ed. 2024 edition NO-PA16APR2015-KAP. Papeback. New.
Add to wish list
Item price
A$146.30
A$5.76 Delivery to USA
Verification and Evaluation of Computer and Communication Systems
Stock photo: cover may vary

Verification and Evaluation of Computer and Communication Systems

  • Used
  • Paperback
Condition
Used
Edition
2023
Binding
Paperback
ISBN 10 / ISBN 13
9783031497360 / 3031497368
Quantity available
1
Seller
Lars Lutzer - Antiquarian Books
Biblio Top Seller
Item price
A$314.40
A$33.03 Delivery to USA

Show details

Description:
Springer, 2023. 2023. Softcover. Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Add to wish list
Item price
A$314.40
A$33.03 Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.