1.
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 200...
by Bensalem, Saddek, Peled, Do...
ISBN: 9783642046933
List Price: $72.00
2.
Verification and Evaluation of Computer and Communication Systems : 12th International Confe...
by Atig, Mohamed Faouzi, Bensa...
ISBN: 9783030003586
List Price: $69.99
3.
From Programs to Systems - the Systems Perspective in Computing : Etaps Workshop, Fps 2014, ...
by Bensalem, Saddek, Lakhneck,...
ISBN: 9783642548499
List Price: $24.99
OUT OF STOCK
See Availability on Amazon4.
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-2...
by Legay, Axel, Bensalem, Saddek
ISBN: 9783642407888
List Price: $24.99