1 - 4 of 4 results for "Howard Barringer"

Title: A Survey of Verification Techniques for Parallel Programs, Author: Howard Barringer
Title: Advances in Temporal Logic, Author: Howard Barringer
Title: Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / Edition 1, Author: Howard Barringer
Paperback $74.14 $109.99 Current price is $74.14, Original price is $109.99.
Title: Advances in Temporal Logic / Edition 1, Author: Howard Barringer