Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results for author "Barringer, Howard, 1951-"
The imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.].
- Text
- Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1258 Offsite Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 89-1810 Offsite Advances in temporal logic / edited by Howard Barringer [and others].
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 A38 2000 Off-site Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1989], ©1989.
- 1989-1989
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 T42 1989 Off-site Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).
- Text
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 T42 1989 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta