by Belgacem Ben Hedia and Yu-Fang Chen
| Publisher | Springer Nature |
| Language | English |
| Book type | Paperback |
| Utgiven | 2021-02-25 |
| Edition | 1 |
| ISBN | 9783030659547 |
| Kategori(er) |
Computer science & IT |
The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
So far, we have reused
2
5
0
5
7
9
4
books.
Sweden's friendliest and environmental friendliest bookshop with the lowest priced textbooks.
This is our ambition, and we do what it takes to get there. We are here to help students to save and earn money on their textbooks while we at the same time save the environment. We were started in 2005 by two students and have since strived to constantly make it easier to buy and sell used textbooks for as many as possible.
Subscribe to receive our best student tips, offers and promotions.
Read more about how we handle personal data in our privacy policy.
| Bookshop | Today | Tomorrow |
|---|---|---|
| Göteborg | 10:00 - 16:00 | Closed |
| Karlstad | 10:00 - 15:00 | Closed |
| Linköping | 10:00 - 15:00 | Closed |
| Lund | 10:00 - 15:00 | Closed |
| Malmö | 10:00 - 15:00 | Closed |
| Örebro | 10:00 - 16:00 | Closed |
| Stockholm | 10:00 - 15:00 | Closed |
| Umeå | 10:00 - 15:00 | Closed |
| Uppsala | 10:00 - 15:00 | Closed |
| Växjö | 10:00 - 14:00 | Closed |
