
A Survey of Verification Techniques for Parallel Programs
Howard Barringer
₹2,265

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
by Howard Barringer, Ylies Falcone, Bernd Finkbeiner
Free delivery. Nothing extra to pay at checkout.
Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.
Description supplied by the publisher.