|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | A Survey of Verification Techniques for Parallel Programs 1985 Edition (Lecture Notes in Computer Science) | Barringer, Howard | Paperback | 3540152393 /
9783540152392 | 05/1985 | $37.99 |
|  | Advances in Temporal Logic 2000 Edition (Applied Logic) | Barringer, Howard | Hardcover | 0792361490 /
9780792361497 | 12/1999 | $161.49 |
|  | Advances in Temporal Logic (Applied Logic) | Barringer, Howard | Paperback | 9048153891 /
9789048153893 | 12/2010 | $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, Howard | Paperback | 3642166113 /
9783642166112 | 10/2010 | $52.24 |
|  | Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings 1989 Edition (Lecture Notes in Computer Science) | Banieqbal, Behnam | Paperback | 3540518037 /
9783540518037 | 10/1989 | $52.24 |
|
|
|