1.
 |  | Title: The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series, 4)
by Howard Barringer, Michael Fisher, Dov Gabbay, Richard Owens, Mark Reynolds
ISBN: 0471961302
Publisher: Research Studies Press Ltd
Pub. Date: July, 1996
List Price: $82.50
Amazon.com Price: $82.50 |
2.
|  | Title: A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, Vol 191)
by Howard Barringer
ISBN: 0387152393
Publisher: Springer Verlag
Pub. Date: September, 1985
List Price: $21.00
Amazon.com Price: $21.00 |
3.
|  | Title: Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16)
by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough
ISBN: 0792361490
Publisher: Kluwer Academic Publishers
Pub. Date: 16 December, 1999
List Price: $211.00
Amazon.com Price: $211.00 |
4.
|  | Title: Q-Baltimore and Ohio Railroad Q-Class Mikado Locomotives
by Howard N. Barr, W.A. Barringer
ISBN: 0934118159
Publisher: Barnard Roberts & Co
Pub. Date: June, 1978
List Price: $30.00
Amazon.com Price: $30.00 |
5.
|  | Title: The Pointe Book: Shoes, Training and Technique
by Janice Barringer, Sarah Schlesinger, David Howard
ISBN: 0871271508
Publisher: Princeton Book Co Pub
Pub. Date: January, 1991
List Price: $16.95
Amazon.com Price: $16.95 |
