4 Ebooks de Saddek Bensalem
Mohamed Faouzi Atig & Saddek Bensalem: Verification and Evaluation of Computer and Communication Systems
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECo S 2018) held at Grenoble, France, in September 2 …
EPUB
Engleză
DRM
€57.82
Saddek Bensalem & Axel Legay: Runtime Verification
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented to …
PDF
Engleză
DRM
€57.61
Saddek Bensalem & Yassine Lakhnech: From Programs to Systems – The Systems Perspective in Computing
"From Programs to Systems – The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences o …
PDF
Engleză
DRM
€51.50
