TY  - BOOK
AU  - Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofi�ne Tahar
TI  - Verification and Evaluation of Computer and Communication Systems
SN  - 9783319661766
PY  - 2017///
PB  - Springer
KW  - Algorithm Analysis and Problem Complexity; Software Engineering; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Artificial Intelligence (incl. Robotics)
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-66175-9
ER  -