Saddek Bensalem – författare

Visar alla böcker från författaren Saddek Bensalem.

4 produkter

Kategorier

4 produkter

Del 11181
Del 11181 - Lecture Notes in Computer Science
Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
AvMohamed Faouzi Atig,Saddek Bensalemm. fl.
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
AvSaddek Bensalem,Doron A. Peled
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
AvAxel Legay,Saddek Bensalem
Häftad, Engelska, 2013
729 kr
Skickas inom 10-15 vardagar
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
AvSaddek Bensalem,Yassine Lakhnechm. fl.
Häftad, Engelska, 2014
699 kr
Skickas inom 10-15 vardagar