Saddek Bensalem – författare
Visar alla böcker från författaren Saddek Bensalem.
4 produkter
4 produkter
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
Häftad, Engelska, 2018
719 kr
Skickas inom 10-15 vardagar
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Häftad, Engelska, 2009
719 kr
Skickas inom 10-15 vardagar
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Häftad, Engelska, 2013
719 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
Häftad, Engelska, 2014
689 kr
Skickas inom 10-15 vardagar