Low Price Guarantee
We Take School POs
  (5 items found)
Title Author / Artist Binding ISBN/ISBN-13
or UPC
Pub
Date
Price
A Survey of Verification Techniques for Parallel Programs 1985 Edition (Lecture Notes in Computer Science)Barringer, HowardPaperback3540152393 /
9783540152392
1985-05-01$37.99
Advances in Temporal Logic 2000 Edition (Applied Logic)Barringer, HowardHardcover0792361490 /
9780792361497
1999-12-31$161.49
Advances in Temporal Logic (Applied Logic)Barringer, HowardPaperback9048153891 /
9789048153893
2010-12-08$161.49
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 2010 Edition (Lecture Notes in Computer Science / Programming and Software)Barringer, HowardPaperback3642166113 /
9783642166112
2010-10-19$52.24
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings 1989 Edition (Lecture Notes in Computer Science)Banieqbal, BehnamPaperback3540518037 /
9783540518037
1989-10-11$52.24
 
  (5 items found)