Hoppa till sidans huvudinnehåll

Saddek Bensalem – författare

Visar alla böcker från författaren Saddek Bensalem.
4 produkter
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez - Verification and Evaluation of Computer and Communication Systems, Häftad
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

Saddek Bensalem, Doron A. Peled - Runtime Verification, Häftad

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

Axel Legay, Saddek Bensalem - Runtime Verification, Häftad

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

Saddek Bensalem, Yassine Lakhnech, Axel Legay - From Programs to Systems - The Systems Perspective in Computing, Häftad

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