Saddek Bensalem - Böcker

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

4 produkter

Kategorier

4 produkter

Verification and Evaluation of Computer and Communication Systems

12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Av Mohamed Faouzi Atig, Saddek Bensalem m. fl

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

Av Saddek 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

Av Axel 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

Av Saddek Bensalem, Yassine Lakhnech m. fl

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar