TY  - BOOK
AU  - Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu.
TI  - Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
SN  - 9783030659554
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Computer organization. Algorithms. Computer science-Mathematics. Software engineering. Mathematical logic. Data structures (Computer science). Computer Systems Organization and Communication Networks. Algorithm Analysis and Problem Complexity. Mathematics of Computing. Software Engineering. Mathematical Logic and Formal Languages. Data Structures
UR  - https://doi.org/10.1007/978-3-030-65955-4
ER  -