Showing 1 - 4 of 4 Results
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
4.
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-2... by Legay, Axel, Bensalem, Saddek ISBN: 9783642407888 List Price: $24.99